Project

General

Profile

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

View differences:

test/src/kind_fmcad08/simulation/hysteresis_all.lus
26 26
                    else diff <= -10;
27 27
tel
28 28

  
29
--@ ensures OK;
29 30
node top( beacon, second : bool ) returns ( OK : bool );
30 31
    var late, early : bool;
31 32
let

Also available in: Unified diff