Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/misc/traffic_e7_46.lus

View differences:

test/src/kind_fmcad08/misc/traffic_e7_46.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