Google Git
Sign in
eclipse / chess / chess / d7b2d5b04d70716a278ec9549ec1f9e30c81fd55 / . / plugins / contracts / org.polarsys.chess.contracts.verificationService.test.runtime / resources / tools / xSAP / examples / FDI / diag / BB2_conditions.cond
blob: ca74d7c8c563f4c430c8d8eb452612ab324e4c9f [file] [log] [blame]
CONDITION_L (CN.cmd_to_BB2 = cmd_open & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Closed#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.event = stuckAt_Closed#failure)) | (CN.cmd_to_BB2 = cmd_closed & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#failure))
CONDITION_R !(CN.cmd_to_BB2 = cmd_open & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Closed#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.event = stuckAt_Closed#failure)) | (CN.cmd_to_BB2 = cmd_closed & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#failure))