Project

General

Profile

Revision 2d37a1e1 regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus

View differences:

regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus
18 18
tel
19 19

  
20 20

  
21
--@ ensures OK;
22 21
node top (x:bool) returns (OK:bool);
22
--@ contract guarantees OK;
23 23
var b,d:bool;
24 24
let
25 25
  b = greycounter(x);

Also available in: Unified diff