bug fix, other transfer funcs invoke mutating methods, call site transfer creates...
authorjjenista <jjenista>
Thu, 4 Mar 2010 22:25:06 +0000 (22:25 +0000)
committerjjenista <jjenista>
Thu, 4 Mar 2010 22:25:06 +0000 (22:25 +0000)
commit7ab801e800b263ebc59348a2646680d10fcdf632
treeb7474cc3f454d3614a692af3a2bbc28b2514a006
parentfdb56c4ed28b6889b41afe727e51bac155601eed
bug fix, other transfer funcs invoke mutating methods, call site transfer creates new reachgraph--but new graph wasn't being returned to fixed point computation
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/predicateTest2/makefile
Robust/src/Tests/disjoint/predicateTest2/test.java