couple fixes to make sure out-of-context nodes get all the states they need, and...
authorjjenista <jjenista>
Mon, 22 Mar 2010 03:33:17 +0000 (03:33 +0000)
committerjjenista <jjenista>
Mon, 22 Mar 2010 03:33:17 +0000 (03:33 +0000)
commitcf0fc38103bea1b50854b359ee10656b33b899af
tree81a9377b6e897bc22b994317ae71747644d08bc8
parent9f4bc2d218f90f104da228c439373fd2aa2454f6
couple fixes to make sure out-of-context nodes get all the states they need, and make sure global sweep never removes states from an out-of-context node
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java