diff options
Diffstat (limited to 'contrib/run-script-cascj7-fnt')
-rwxr-xr-x | contrib/run-script-cascj7-fnt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/run-script-cascj7-fnt b/contrib/run-script-cascj7-fnt index 073a9f297..5309fc93b 100755 --- a/contrib/run-script-cascj7-fnt +++ b/contrib/run-script-cascj7-fnt @@ -6,7 +6,7 @@ bench="$1" file=${bench##*/} filename=${file%.*} -echo "------- cvc4-fnt $bench at $2..." +echo "------- cvc4-fnt 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-models --produce-models "$@" $bench } |