Commit ed44cafa authored by MARCHE Claude's avatar MARCHE Claude

fix CE test

parent 7f63d613
......@@ -11,7 +11,7 @@ theory T
goal g2_lab : forall x:int. (g >= x)
goal newgoal : forall x1 "model_trace:X" x2 x3 x4 x5 x6 x7 x8.
goal newgoal : forall x1 "model" "model_trace:X" x2 x3 x4 x5 x6 x7 x8.
(x1 + 1 = 2) ->
(x2 + 1 = 2) ->
(x3 + 1 = 2) ->
......
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