1 files changed, 7 insertions, 0 deletions
diff --git a/unit-tests/runverit.sh b/unit-tests/runverit.sh
new file mode 100755
index 0000000..0b950e9
--- /dev/null
+++ b/unit-tests/runverit.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+count=1
+i=$1
+file=$(echo "$i" | sed "s/.smt2/.vtlog/")
+
+veriT --proof-prune --proof-merge --proof-with-sharing --cnf-definitional --disable-ackermann --input=smtlib2 --proof=$file $i