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/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