/test/regress/regress0/push-pop/
../
Makefile
Makefile.am
arith
arith_lra_01.smt2
arith_lra_02.smt2
boolean
bug-fmf-fun-skolem.smt2
bug216.smt2
bug216.smt2.expect
bug233.cvc
bug326.smt2
bug396.smt2
bug654-dd.smt2
bug674.smt2
fmf-fun-dbu.smt2
inc-double-u.smt2
incremental-subst-bug.cvc
quant-fun-proc-unfd.smt2
quant-fun-proc-unmacro.smt2
quant-fun-proc.smt2
test.00.cvc
test.01.cvc
tiny_bug.smt2
units.cvc