Commit 64b9237d authored by Sylvain Dailler's avatar Sylvain Dailler

ce-bench: fix ce-bench

This updates values of already failing counterexamples which were changed
by the fix for z3/encoding_twin in 4b79dcf1.
parent 25324e99
......@@ -110,17 +110,17 @@ bench/ce/array_records.mlw Array_records VC var_overwrite: Timeout
Counter-example model:File array_records.mlw:
Line 23:
i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
"val" : "2" }
"val" : "-176" }
Line 31:
i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
"val" : "2" }
"val" : "-176" }
bench/ce/array_records.mlw Array_records VC var_overwrite: Timeout
Counter-example model:File array_records.mlw:
Line 23:
i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
"val" : "2" }
"val" : "-176" }
Line 25:
i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
"val" : "2" }
"val" : "-176" }
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment