diff --git a/run-tests.sh b/run-tests.sh new file mode 100755 index 0000000..d32a91a --- /dev/null +++ b/run-tests.sh @@ -0,0 +1,5 @@ +#! /bin/sh +for a in src/examples/test-*.rla; do + echo -n "$a: "; + ./rosella "$a"; +done