Project

General

Profile

« Previous | Next » 

Revision 3e36d4e0

Added by Pierre-Loïc Garoche almost 8 years ago

Added default ensures statements

View differences:

test/src/kind_fmcad08/simulation/hysteresis_2.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