bug fix in that return value assignment edges were not being handled like other edges...
authorjjenista <jjenista>
Mon, 19 Apr 2010 22:47:20 +0000 (22:47 +0000)
committerjjenista <jjenista>
Mon, 19 Apr 2010 22:47:20 +0000 (22:47 +0000)
commit37b84bfbd8d3b9fd9963a85339af38502a677e5a
tree34294750bbf4be6496ec0c52e8b4ac20c00e4a9b
parenta71017766222cd09bd744247852e9fc298234967
bug fix in that return value assignment edges were not being handled like other edges, so instead of doing them as a special case they are now integrated into the single callee-to-caller edge code
Robust/src/Analysis/Disjoint/ReachGraph.java