Merge pull request #4456 from allredj/smt2_strings_tests_fixes

Smt2 strings tests fixes

Author: tautschnig

regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc

@@ -6,7 +6,7 @@ regexp_opt_input_sat.smt2
 ^sat$
 --
 error
-
+--
 z3:
 Returns "unknown"
 Z3 [version 4.8.3 - 64 bit]

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

@@ -1,5 +1,5 @@
 FUTURE z3_bug
-replace_all_const_sat.smt2
+replace_all_input_sat.smt2
 
 ^EXIT=0$
 ^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

@@ -1,5 +1,5 @@
 FUTURE z3_bug
-str_to_re_input_sat.smt2
+str_to_re_input_unsat.smt2
 
 ^EXIT=0$
 ^SIGNAL=0$