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