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