bug fixes for task initial heaps and making all new edges have true predicates attach...
authorjjenista <jjenista>
Thu, 25 Mar 2010 20:14:08 +0000 (20:14 +0000)
committerjjenista <jjenista>
Thu, 25 Mar 2010 20:14:08 +0000 (20:14 +0000)
commit5d17a9b6f7eaa8718abbf219821dc7c0f34ee0ec
tree106dc68eb61ddefc7449d361f078b7668d39dda1
parent613975b2f84525b77e68f32807c5b37ebf790b1e
bug fixes for task initial heaps and making all new edges have true predicates attached to reach states on the edge
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/CanonicalOp.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachState.java