Project

General

Profile

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

View differences:

test/src/kind_fmcad08/misc/_6counters_e8_371_e7_304.lus
16 16
  out = time = 5;
17 17
tel
18 18

  
19
--@ ensures OK;
19 20
node top (x:bool) returns (OK:bool);
20 21
var a,b:bool;
21 22
let

Also available in: Unified diff