Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/steam_boiler_no_arr2_e6_3003_e4_15091.lusi

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/steam_boiler_no_arr2_e6_3003_e4_15091.lusi
92 92
node Dynamics (valve_state: int; level: int; steam: int; level_defect: int; steam_defect: int; flow_0: bool; flow_1: bool; flow_2: bool; flow_3: bool) returns (q: int; v: int; p_0: int; p_1: int; p_2: int; p_3: int);
93 93

  
94 94

  
95
function ControlOutput (op_mode: int; level: int; valve: bool) returns (program_ready: bool; mode: int);
95
function ControlOutput (op_mode: int; level: int; valve: bool) returns (program_ready: bool; mode_: int);
96 96

  
97 97

  
98 98
node ControlMode (steam_boiler_waiting: bool; physical_units_ready: bool; stop_request: bool; steam: int; level_defect: int; steam_defect: int; pump_defect_0: int; pump_defect_1: int; pump_defect_2: int; pump_defect_3: int; pump_control_defect_0: int; pump_control_defect_1: int; pump_control_defect_2: int; pump_control_defect_3: int; q: int; pump_state_0: int; pump_state_1: int; pump_state_2: int; pump_state_3: int) returns (op_mode: int);
......
104 104
node FEDGE1 (S: bool) returns (FEDGE1: bool);
105 105

  
106 106

  
107
node BoilerController (stop: bool; steam_boiler_waiting: bool; physical_units_ready: bool; level: int; steam: int; pump_state_0: int; pump_state_1: int; pump_state_2: int; pump_state_3: int; pump_control_state_0: bool; pump_control_state_1: bool; pump_control_state_2: bool; pump_control_state_3: bool; pump_repaired_0: bool; pump_repaired_1: bool; pump_repaired_2: bool; pump_repaired_3: bool; pump_control_repaired_0: bool; pump_control_repaired_1: bool; pump_control_repaired_2: bool; pump_control_repaired_3: bool; level_repaired: bool; steam_repaired: bool; pump_failure_acknowledgement_0: bool; pump_failure_acknowledgement_1: bool; pump_failure_acknowledgement_2: bool; pump_failure_acknowledgement_3: bool; pump_control_failure_acknowledgement_0: bool; pump_control_failure_acknowledgement_1: bool; pump_control_failure_acknowledgement_2: bool; pump_control_failure_acknowledgement_3: bool; level_failure_acknowledgement: bool; steam_failure_acknowledgement: bool) returns (program_ready: bool; mode: int; valve: bool; open_pump_0: bool; open_pump_1: bool; open_pump_2: bool; open_pump_3: bool; close_pump_0: bool; close_pump_1: bool; close_pump_2: bool; close_pump_3: bool; pump_failure_detection_0: bool; pump_failure_detection_1: bool; pump_failure_detection_2: bool; pump_failure_detection_3: bool; pump_control_failure_detection_0: bool; pump_control_failure_detection_1: bool; pump_control_failure_detection_2: bool; pump_control_failure_detection_3: bool; level_failure_detection: bool; steam_outcome_failure_detection: bool; pump_repaired_acknowledgement_0: bool; pump_repaired_acknowledgement_1: bool; pump_repaired_acknowledgement_2: bool; pump_repaired_acknowledgement_3: bool; pump_control_repaired_acknowledgement_0: bool; pump_control_repaired_acknowledgement_1: bool; pump_control_repaired_acknowledgement_2: bool; pump_control_repaired_acknowledgement_3: bool; level_repaired_acknowledgement: bool; steam_outcome_repaired_acknowledgement: bool);
107
node BoilerController (stop: bool; steam_boiler_waiting: bool; physical_units_ready: bool; level: int; steam: int; pump_state_0: int; pump_state_1: int; pump_state_2: int; pump_state_3: int; pump_control_state_0: bool; pump_control_state_1: bool; pump_control_state_2: bool; pump_control_state_3: bool; pump_repaired_0: bool; pump_repaired_1: bool; pump_repaired_2: bool; pump_repaired_3: bool; pump_control_repaired_0: bool; pump_control_repaired_1: bool; pump_control_repaired_2: bool; pump_control_repaired_3: bool; level_repaired: bool; steam_repaired: bool; pump_failure_acknowledgement_0: bool; pump_failure_acknowledgement_1: bool; pump_failure_acknowledgement_2: bool; pump_failure_acknowledgement_3: bool; pump_control_failure_acknowledgement_0: bool; pump_control_failure_acknowledgement_1: bool; pump_control_failure_acknowledgement_2: bool; pump_control_failure_acknowledgement_3: bool; level_failure_acknowledgement: bool; steam_failure_acknowledgement: bool) returns (program_ready: bool; mode_: int; valve: bool; open_pump_0: bool; open_pump_1: bool; open_pump_2: bool; open_pump_3: bool; close_pump_0: bool; close_pump_1: bool; close_pump_2: bool; close_pump_3: bool; pump_failure_detection_0: bool; pump_failure_detection_1: bool; pump_failure_detection_2: bool; pump_failure_detection_3: bool; pump_control_failure_detection_0: bool; pump_control_failure_detection_1: bool; pump_control_failure_detection_2: bool; pump_control_failure_detection_3: bool; level_failure_detection: bool; steam_outcome_failure_detection: bool; pump_repaired_acknowledgement_0: bool; pump_repaired_acknowledgement_1: bool; pump_repaired_acknowledgement_2: bool; pump_repaired_acknowledgement_3: bool; pump_control_repaired_acknowledgement_0: bool; pump_control_repaired_acknowledgement_1: bool; pump_control_repaired_acknowledgement_2: bool; pump_control_repaired_acknowledgement_3: bool; level_repaired_acknowledgement: bool; steam_outcome_repaired_acknowledgement: bool);
108 108

  
109 109

  
110 110
function NOT (a_0: bool; a_1: bool; a_2: bool; a_3: bool) returns (NOT_0: bool; NOT_1: bool; NOT_2: bool; NOT_3: bool);

Also available in: Unified diff