1 2 3 4 5 6 7
Checking cspFiles/RuleInterleaveOfBricRingCell2_BricRingCell3.cspChecking STOP [T= RUN(inter(events(BricRingCell2),events(BricRingCell3)))trueChecking newComponent :[deadlock free[FD]]true