/test/regress/regress0/options/
../
invalid_dump.smt2