/test/regress/regress0/rewriterules/

• ../
• datatypes.smt2
• datatypes_clark.smt2
• length.smt2
• length_gen_n.smt2
• length_gen_n_lemma.smt2
• length_trick.smt2
• length_trick2.smt2
• native_arrays.smt2
• native_datatypes.smt2
• relation.smt2
• simulate_rewriting.smt2