contrib/cvc4_strict_smtlib

   1 #!/bin/bash
   2
   3 cvc4="${CVC4_HOME}/cvc4"
   4
   5 # This is the set of command line arguments that is required to be strictly
   6 # complaint with the input and output requirements of the current SMT-LIB
   7 # standard.
   8 "$cvc4" --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values $@