TESTS_ENVIRONMENT = @top_builddir@/bin/cvc4
TESTS = \
	simple.cvc \
	simple.smt \
	bug1.cvc