/test/regress/regress1/decision/
../
Makefile
Makefile.am
error3.smt