Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/simulation/Gas.lus

View differences:

test/src/kind_fmcad08/simulation/Gas.lus
34 34
-- P is a an input used to define the start of an observation
35 35

  
36 36
-- Not provable?
37
--@ ensures OK;
37 38
node top (leak,P1:bool) returns (OK : bool);
38 39
   var env : bool;
39 40
let

Also available in: Unified diff