Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/simulation/cd_e7_8.lus

View differences:

test/src/kind_fmcad08/simulation/cd_e7_8.lus
23 23
  cpt = 0 -> if acceptable then 0 else pre(cpt)+1;
24 24
  ok = true -> (pre cpt<=7);
25 25
tel
26
--@ ensures OK;
26 27
node top(diff:int) returns (OK: bool);
27 28
var speed: int; 
28 29
    plus,minus,realistic: bool;

Also available in: Unified diff