Rename allchar tests

Remove "const" from name, as allchar does not take any argument.
2019-03-13 09:59:00 +00:00 · 2019-03-13 09:59:00 +00:00 · f46e4ace4a
parent 45e11860cd
commit f46e4ace4a
4 changed files with 2 additions and 2 deletions
--- a/regression/smt2_strings/regexp_allchar_const_sat/regexp_allchar_const_sat.desc
+++ b/regression/smt2_strings/regexp_allchar_const_sat/regexp_allchar_const_sat.desc
@ -1,5 +1,5 @@
 FUTURE
-regexp_allchar_const_sat.smt2
+regexp_allchar_sat.smt2

 ^EXIT=0$
 ^SIGNAL=0$
--- a/regression/smt2_strings/regexp_allchar_const_sat/regexp_allchar_const_sat.smt2
+++ b/regression/smt2_strings/regexp_allchar_const_sat/regexp_allchar_const_sat.smt2
--- a/regression/smt2_strings/regexp_allchar_const_unsat/regexp_allchar_const_unsat.desc
+++ b/regression/smt2_strings/regexp_allchar_const_unsat/regexp_allchar_const_unsat.desc
@ -1,5 +1,5 @@
 FUTURE
-regexp_allchar_const_unsat.smt2
+regexp_allchar_unsat.smt2

 ^EXIT=0$
 ^SIGNAL=0$
--- a/regression/smt2_strings/regexp_allchar_const_unsat/regexp_allchar_const_unsat.smt2
+++ b/regression/smt2_strings/regexp_allchar_const_unsat/regexp_allchar_const_unsat.smt2