search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

reduce PC nodes has dangling nodes #146

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

Reducing the PC nodes left many data spaces with no statements writing to them. These statements were not parameters/returns, just normal statements. They should have writes.

Aaron3154518 commented 3 years ago

We were deleting data spaces which had multiple in edges or out edges. This is not correct. Deleted data spaces should only have one in edge and one out edge.