/test/regress/
../
Makefile
Makefile.am
Makefile.in
bug1.cvc
simple.cvc
simple.smt
simple2.smt