Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / zustre / nstep.lus @ 81306cb7

History | View | Annotate | Download (83 Bytes)

1 81306cb7 ploc
node top (x: int) returns (ok: bool);
2
let
3
  ok = true -> pre (true -> x = 2); 
4
tel