/test/regress/regress1/rr-verify/
../
bool-crci.sy
bv-term-32.sy
bv-term.sy
fp-arith.sy
fp-bool.sy
regex.sy
string-term.sy