there was a simple fix for variable problem, in new model we want to cut out all...
authorjjenista <jjenista>
Thu, 11 Mar 2010 21:54:35 +0000 (21:54 +0000)
committerjjenista <jjenista>
Thu, 11 Mar 2010 21:54:35 +0000 (21:54 +0000)
commit4f56b0551db504a5d7e4aec9ba311d8f3cd135fb
treed920956f09ef08955f717b694880be650e2bd4bc
parent21d9fc5d50b0d45094a62252b5ad8e96c4967869
there was a simple fix for variable problem, in new model we want to cut out all region to region AND var to region edges in caller before we map callee effects back in, things look good for one call but chains any longer get messed up--investigating...
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/predicateTest2/makefile
Robust/src/Tests/disjoint/predicateTest2/test.java