2 # This is a simple script for converting v1 sygus files to v2.
4 # Show how to use the script
5 if [[ "$#" < 3 ||
! -f "$1" ||
! -f "$2" ]]; then
6 echo "Usage: $0 [<path to cvc4>] [<path to sygus file>] [<path to output file>] [<additional cvc4 options>*]"
10 output
=$
("$1" "$2" --lang=sygus1
--dump-to="$3" --output-lang=sygus2
--dump=raw-benchmark
--preprocess-only "${@:4}" 2>&1)
14 if [[ "$exitCode" == 0 ]]; then
15 # Remove incremental and produce-models options
16 sed -i '/(set-option :incremental false)/d' "$3"
17 sed -i '/(set-option :produce-models "true")/d' "$3"
19 echo "$1 failed with exit code $exitCode:"