Project

General

Profile

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

View differences:

test/src/kind_fmcad08/large/steam_boiler_no_arr2_e6_3003_e4_15091.lus
622 622
  (b2,b3)=
623 623
    SteamOutput(op_mode,steam_defect,steam_repaired); 
624 624
tel
625
--@ ensures OK;
625 626
node top(
626 627
  steam_boiler_waiting,physical_units_ready,stop_request:bool; 
627 628
  steam,level_defect,steam_defect:int; 

Also available in: Unified diff