default

loading
details
attribute current value
name default
description no description
owning solver COLIBRI 2023_05_10
contents
#!/bin/bash -u

FILE=$(realpath $1)
cd $(dirname $0)
cd ..

#get the usage from the name of the script
BASE=$(basename $0)
case $BASE in
    starexec_run_default)
        CONF=""
        ;;
    starexec_run_z3)
        CONF="--delay-simplex-deactivation 100 --per-call-simplex-timeout 0.1 --external-simplex z3"
        ;;
    starexec_run_*)
        CONF=${BASE#starexec_run_}
        ;;
    *)
        echo BAD COMMAND NAME
        exit 2
esac



#bin/smtlib_tidier "$FILE" tidy.smt2
./smt_colibri_local_linux.sh "$FILE" ${CONF[@]} > result 2>&1
RES=$?
if ${SHOW_OUTPUT:-false}; then grep -v "^sat$\|^unsat$\|^unknown$" result; fi
case "$RES" in
    2)
        #Ensure that unknown is written for syntax error or unsupported
        echo unknown
        exit 2
        ;;
    1)
        echo sat
        exit 1
        ;;
    0)
        #unsat
        echo unsat
        exit 0
        ;;
    *)
        #Error?
        echo unknown
        exit 3
esac

back to COLIBRI 2023_05_10