Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/large/steam_boiler_no_arr1_e4_23904_e4_2384.lus

View differences:

test/src/kind_fmcad08/large/steam_boiler_no_arr1_e4_23904_e4_2384.lus
624 624
  (b2,b3)=
625 625
    SteamOutput(op_mode,steam_defect,steam_repaired); 
626 626
tel
627
--@ ensures OK;
627 628
node top( 
628 629
  stop, 
629 630
  steam_boiler_waiting, 

Also available in: Unified diff