From 385f1c856e203465526477fd7656cafa32db953b Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sun, 21 Jul 2019 13:44:20 +0200 Subject: [PATCH] Create test.sh --- test.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 test.sh diff --git a/test.sh b/test.sh new file mode 100644 index 0000000000..8456737f93 --- /dev/null +++ b/test.sh @@ -0,0 +1,11 @@ +#!/bin/zsh + +for f in **/*_test.v ; do + echo "Testing $f..." + v $f || echo "fail" +done + +for f in examples/*.v ; do + echo "Building $f..." + v $f || echo "fail" +done