Project

General

Profile

Revision b745c1a8

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/steam_boiler.lus
627 627
    SteamOutput(op_mode,steam_defect,steam_repaired); 
628 628
tel
629 629
--ensures OK;
630
node steam_boiler(
630
node top (* steam_boiler *) (
631 631
  steam_boiler_waiting,physical_units_ready,stop_request:bool; 
632 632
  steam,level_defect,steam_defect:int; 
633 633
  pump_defect_0,pump_defect_1,pump_defect_2,pump_defect_3,pump_control_defect_0,pump_control_defect_1,pump_control_defect_2,pump_control_defect_3:int; 

Also available in: Unified diff