eeb5cac08
 Madiel de Souza Conserva Filho
first
|
1
2
3
4
5
6
7
|
Checking cspFiles/RuleInterleaveOfBricRingCell2_BricRingCell3.csp
Checking STOP [T= RUN(inter(events(BricRingCell2),events(BricRingCell3)))
true
Checking newComponent :[deadlock free[FD]]
true
|