/test/regress/regress0/bool/
../
issue1978.smt2