search

troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

When selecting edges, they should be hightlighted consistently #41

Open cwerling opened 9 years ago

cwerling commented 9 years ago

1312423184-fuzzed_bug