1 2 3 4 5 6
TESTS_ENVIRONMENT = @top_builddir@/bin/cvc4 TESTS = \ simple.cvc \ simple.smt \ bug1.cvc \ qwh.35.405.shuffled-as.sat03-1651.smt