Run script updates: no --stats, also application-track version.

1 files changed, 29 insertions, 0 deletions

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
new file mode 100755
index 000000000..94e80b940
--- /dev/null
+++ b/contrib/run-script-smtcomp2014-application
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+cvc4=./cvc4
+bench="$1"
+
+logic=$(expr "$(grep -m1 '^[^;]*set-logic' "$bench")" : ' *(set-logic  *\([A-Z_]*\) *) *$')
+
+case "$logic" in
+
+QF_BV)
+  # run tear-down incremental
+  #
+  # we run in this way for line-buffered input, otherwise memory's a
+  # concern (plus it mimics what we'll end up getting from an
+  # application-track trace runner?)
+  cat "$bench" | $cvc4 -L smt2 --no-checking --no-interactive --tear-down-incremental
+  ;;
+
+*)
+  # just run the default --incremental
+  #
+  # we run in this way for line-buffered input, otherwise memory's a
+  # concern (plus it mimics what we'll end up getting from an
+  # application-track trace runner?)
+  cat "$bench" | $cvc4 -L smt2 --no-checking --no-interactive --incremental
+  ;;
+
+esac
+