Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / kind_fmcad08 / misc / _6countern.lus @ 22fe1c93

History | View | Annotate | Download (166 Bytes)

1 22fe1c93 ploc
node top (init:int) returns (OK:bool);
2
var time:int;
3
let
4
  time = 0 -> if pre time = 5 then 0 
5
              else pre time + 1;
6
  OK = time <0;
7
  --%PROPERTY OK;
8
tel