| Bug
example, implication |
|
|
|
|
|
|
|
|
|
|
|
| • | Assert
that conflicts is symmetric |
|||||||||
| assert
ConflictsSym { |
||||||||||
| all s,t | s in t.conflicts |
||||||||||
| -> t in s.conflicts |
||||||||||
| } |
||||||||||
| • | Alcoa
reports a counterexample (with two |
|||||||||
| connectors
and two segments) |
||||||||||
| • | Fix
by adding constraint on overlaps |
|||||||||
| all s,t | s in t.overlaps -> t in
s.overlaps |
||||||||||
