Revision 65f71d05 test/src/kind_fmcad08/misc/ticket3i_7_e3_59_e7_2122.lus
test/src/kind_fmcad08/misc/ticket3i_7_e3_59_e7_2122.lus | ||
---|---|---|
67 | 67 |
if(e7) then if(g7) then pre t else pre a3 else |
68 | 68 |
pre a3; |
69 | 69 |
tel |
70 |
--@ ensures OK; |
|
70 | 71 |
node top( e1, e2, e3, e4, e5, e6, e7, e8, e9 : bool; |
71 | 72 |
init_a1, init_a2, init_a3, init_t : int ) |
72 | 73 |
returns ( OK : bool ); |
Also available in: Unified diff