blob: 19eaceb06322b4d7250f7f52e62e830718e92d8f [file] [log] [blame]
CONDITION_L (CN.cmd_to_BB3 = cmd_open & (SC.BB3.Switch_StuckClosed_StuckOpen.mode = stuckAt_Closed#FAULT | SC.BB3.Switch_StuckClosed_StuckOpen.event = stuckAt_Closed#failure)) | (CN.cmd_to_BB3 = cmd_closed & (SC.BB3.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#FAULT | SC.BB3.Switch_StuckClosed_StuckOpen.event = stuckAt_Open#failure))
CONDITION_R !(CN.cmd_to_BB3 = cmd_open & (SC.BB3.Switch_StuckClosed_StuckOpen.mode = stuckAt_Closed#FAULT | SC.BB3.Switch_StuckClosed_StuckOpen.event = stuckAt_Closed#failure)) | (CN.cmd_to_BB3 = cmd_closed & (SC.BB3.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#FAULT | SC.BB3.Switch_StuckClosed_StuckOpen.event = stuckAt_Open#failure))