/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