Project

General

Profile

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

View differences:

test/src/kind_fmcad08/misc/switch.lus
12 12
                     else pre(level);
13 13
tel
14 14

  
15
--@ ensures OK;
15 16
node top(set, treset, initial:bool) returns (OK:bool);
16 17
var level,level1:bool;
17 18
let

Also available in: Unified diff