Project

General

Profile

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

View differences:

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

Also available in: Unified diff