(&self, a: RelationId)
| 874 | |
| 875 | /// forall relation(a, b), relation(c, d): if b and c are probably/possibly deadlock, |
| 876 | /// then add edge between relation(a, b) and relation(c, d). |
| 877 | /// The cycles in the graph may be conflictlock bugs. |
| 878 | struct ConflictLockGraph { |
| 879 | graph: Graph<(LockGuardId, LockGuardId), DeadlockPossibility, Directed>, |
| 880 | } |
| 881 |
no outgoing calls
no test coverage detected