Commit 62fc9071 authored by Point Gerald's avatar Point Gerald
Browse files

new test files

parent ac56d48f
node A
flow f : bool;
state x, y : bool;
event a, b;
assert f = x
trans x |- a -> x:= not x, y := not x;
y |- b -> y := x;
edon
target-reduction A f
node A
flow x : bool;
state y : [0,5];
event e, f
trans
x |- e -> ;
true |- e -> y := 2;
true |- f -> y := y+1 ;
assert x = (y > 2);
y = 3;
edon
Supports Markdown
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