/test/regress/regress0/push-pop/
../
Makefile
Makefile.am
incremental-subst-bug.cvc
test.00.cvc
test.01.cvc
tiny_bug.smt2
units.cvc