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