Closed harpend closed 1 week ago
an interval is the maximal single entry subgraph in which h is the only entry node and which all closed paths contain h. this does not mean h cannot have multiple predecessors or successors it just means there is only one entry node.
added algorithms for creating intervals, need to link to cfg to test
linking done just need to integrate and do testing
works with unit tests
intervals is the largest subgraph dominated by the same bb