diff options
Diffstat (limited to 'contrib/sygus-v1-to-v2.sh')
-rwxr-xr-x | contrib/sygus-v1-to-v2.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/contrib/sygus-v1-to-v2.sh b/contrib/sygus-v1-to-v2.sh deleted file mode 100755 index 0d1ac17e4..000000000 --- a/contrib/sygus-v1-to-v2.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash -# This is a simple script for converting v1 sygus files to v2. - -# Show how to use the script -if [[ "$#" < 3 || ! -f "$1" || ! -f "$2" ]]; then - echo "Usage: $0 [<path to cvc4>] [<path to sygus file>] [<path to output file>] [<additional cvc4 options>*]" - exit 1 -fi - -output=$("$1" "$2" --lang=sygus1 --dump-to="$3" --output-lang=sygus2 --dump=raw-benchmark --preprocess-only "${@:4}" 2>&1) - -exitCode=$? - -if [[ "$exitCode" == 0 ]]; then - # Remove incremental and produce-models options - sed -i '/(set-option :incremental false)/d' "$3" - sed -i '/(set-option :produce-models "true")/d' "$3" -else - echo "$1 failed with exit code $exitCode:" - echo "$output" -fi |