diff options
Diffstat (limited to 'src/lfsc/tests/run.sh')
-rwxr-xr-x | src/lfsc/tests/run.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/lfsc/tests/run.sh b/src/lfsc/tests/run.sh new file mode 100755 index 0000000..c785e2c --- /dev/null +++ b/src/lfsc/tests/run.sh @@ -0,0 +1,10 @@ +#!/bin/bash +set -e +find work -name "*.smt2" -exec sh -c "./wrapper_cvc4tocoq.sh {} " \; +mv work/*.result work/results/ +mv work/*.lfsc work/lfsc/ +mv work/*.smt2 work/smt2/ +rm work/*.vo +rm work/*.v +rm work/*.glob +#exit 0 |