replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix smt_strings .desc file

This commit is contained in:
Joel Allred 2019-03-29 09:57:52 +00:00
parent b67caf0d6d
commit 17b55d13d8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc
View File

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