/test/regress/regress1/cores/

• ../
• issue5604.smt2