Commit 3a8adda5 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

update oracles for bench CE

parent a4f7b8df
bench/ce/logic.mlw T g0 : Invalid (0.00s)
bench/ce/logic.mlw T g0: Invalid (0.00s)
Counter-example model:File bench/ce/logic.mlw:
Line 6:
x = {"type" : "Integer" ,
"val" : "48" }
bench/ce/logic.mlw T g1 : Invalid (0.00s)
bench/ce/logic.mlw T g1: Invalid (0.00s)
Counter-example model:File bench/ce/logic.mlw:
Line 10:
x = {"type" : "Integer" ,
"val" : "0" }
bench/ce/logic.mlw T g2 : Invalid (0.00s)
bench/ce/logic.mlw T g2: Invalid (0.00s)
Counter-example model:File bench/ce/logic.mlw:
Line 12:
X = {"type" : "Integer" , "val" : "1" }
......
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