Project

General

Profile

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

View differences:

test/src/kind_fmcad08/misc/ticket3i_3_e8_1788.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