Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (148 Bytes)

1
node f(x: int) returns (y: int)
2
let
3
  y = x -> pre x;
4
tel
5

    
6
node top (x: int) returns (ok: bool);
7
let
8
  ok = true -> pre (true -> f(x) = f(2)); 
9
tel