Skip to content
Snippets Groups Projects

#377 Legacy hyper-edge creator: consider location invariants.

Merged Dennis Hendriks requested to merge 377-fix-legacy-hyper-edge-creation-bug into develop
17 files
+ 272
298
Compare changes
  • Side-by-side
  • Inline
Files
17
@@ -112,7 +112,7 @@ public class LegacyHyperEdgeCreator extends HyperEdgeCreator {
Automaton aut = (Automaton)comp;
for (Location loc: aut.getLocations()) {
// Add a hyper-edge per invariant of the location.
for (Invariant inv: comp.getInvariants()) {
for (Invariant inv: loc.getInvariants()) {
Expression pred = inv.getPredicate();
VariableCollector varCollector = new VariableCollector();
Set<PositionObject> vars = set();
Loading