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/misc/traffic_e7_46_e7_171.lus
11 11
     else if Delta > 0 and Prev < 10 then Prev+Delta
12 12
     else Prev;
13 13
tel
14
--@ ensures OK;
14 15
node top( Delta : int ) returns ( OK : bool );
15 16
var Total : int;
16 17
let

Also available in: Unified diff