/test/regress/regress0/options/

• ../
• invalid_dump.smt2