diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-15 12:51:35 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-15 12:51:35 -0500 |
| commit | 839b8f788f1d240380ca72c6d245c62e8e47501b (patch) | |
| tree | d26835fab14c4ae0f4c32267dad0a7a2cd27a261 /contrib/run-script-cascj7-tff | |
| parent | 478b935ba5e2b9eda4eb21f7651747c5325229b1 (diff) | |
Minor fixes. Add SMTCOMP 2014 script.
Diffstat (limited to 'contrib/run-script-cascj7-tff')
| -rwxr-xr-x | contrib/run-script-cascj7-tff | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/run-script-cascj7-tff b/contrib/run-script-cascj7-tff index 4506e511d..41aec1335 100755 --- a/contrib/run-script-cascj7-tff +++ b/contrib/run-script-cascj7-tff @@ -6,7 +6,7 @@ bench="$1" file=${bench##*/} filename=${file%.*} -echo "------- cvc4-tff $bench at $2..." +echo "------- cvc4-tff casc j7 : $bench at $2..." # use: trywith [params..] # to attempt a run. If an SZS ontology result is printed, then @@ -24,7 +24,7 @@ function trywith { if [ ${PIPESTATUS[1]} -eq 0 ]; then exit 0; fi } function finishwith { - echo "--- Run $@ at $limit..."; + echo "--- Run $@..."; $cvc4 --no-checking --no-interactive --dump-instantiations --inst-format=szs "$@" $bench } |