fix: remove unnecessary conflict edge
authoryeom <yeom>
Fri, 16 Jul 2010 05:54:54 +0000 (05:54 +0000)
committeryeom <yeom>
Fri, 16 Jul 2010 05:54:54 +0000 (05:54 +0000)
commita2af0dd4dbc26e1bd0bc9cbf4f205ed38ccce9e7
treec554cf1e24adcfb500814236f6508d913dad9a14
parentbb84b5da3be57a2ea89b9e00ec65351494fa6e4b
fix: remove unnecessary conflict edge
+ better representation of conflict graph file
Robust/src/Analysis/OoOJava/ConflictGraph.java