bug fix yonghun found, return value's region may be a new node for caller context...
authorjjenista <jjenista>
Thu, 11 Mar 2010 22:18:14 +0000 (22:18 +0000)
committerjjenista <jjenista>
Thu, 11 Mar 2010 22:18:14 +0000 (22:18 +0000)
commitadf4a6c25946b7fd8f078177f7c214dbdb9277fe
tree790f2458da3ed78c87d0f2152c5776a5c9dcf1e9
parent4f56b0551db504a5d7e4aec9ba311d8f3cd135fb
bug fix yonghun found, return value's region may be a new node for caller context, might have to a matching object for caller context
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/predicateTest2/makefile
Robust/src/Tests/disjoint/predicateTest2/test.java