Skip to content

Commit 17b55d1

Browse files
author
Joel Allred
committed
Fix smt_strings .desc file
1 parent b67caf0 commit 17b55d1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ regexp_opt_input_sat.smt2
66
^sat$
77
--
88
error
9-
9+
--
1010
z3:
1111
Returns "unknown"
1212
Z3 [version 4.8.3 - 64 bit]

0 commit comments

Comments
 (0)