Skip to content

Commit b67caf0

Browse files
author
Joel Allred
committed
Fix badly named smt2_strings test files
1 parent 535bde0 commit b67caf0

File tree

4 files changed

+2
-2
lines changed

4 files changed

+2
-2
lines changed

‎regression/smt2_strings/replace_all_input_sat/replace_all_const_sat.desc renamed to ‎regression/smt2_strings/replace_all_input_sat/replace_all_input_sat.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
FUTURE z3_bug
2-
replace_all_const_sat.smt2
2+
replace_all_input_sat.smt2
33

44
^EXIT=0$
55
^SIGNAL=0$

‎regression/smt2_strings/replace_all_input_sat/replace_all_const_sat.smt2 renamed to ‎regression/smt2_strings/replace_all_input_sat/replace_all_input_sat.smt2

File renamed without changes.

‎regression/smt2_strings/str_to_re_input_unsat/str_to_re_input_sat.desc renamed to ‎regression/smt2_strings/str_to_re_input_unsat/str_to_re_input_unsat.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
FUTURE z3_bug
2-
str_to_re_input_sat.smt2
2+
str_to_re_input_unsat.smt2
33

44
^EXIT=0$
55
^SIGNAL=0$

‎regression/smt2_strings/str_to_re_input_unsat/str_to_re_input_sat.smt2 renamed to ‎regression/smt2_strings/str_to_re_input_unsat/str_to_re_input_unsat.smt2

File renamed without changes.

0 commit comments

Comments
 (0)