Bug fix in applying change sets, have to use the source reachability state in every...
authorjjenista <jjenista>
Mon, 9 Mar 2009 18:01:58 +0000 (18:01 +0000)
committerjjenista <jjenista>
Mon, 9 Mar 2009 18:01:58 +0000 (18:01 +0000)
commitc97557f3e6ee6bfec2cb9ff59cff00c9483b3169
tree4385f6dc1754f9d8a929aacc2a0a675829458b03
parentb4e1ec64241ecf64533403ef1e2a32bcd0a5dfff
Bug fix in applying change sets, have to use the source reachability state in every rule and not just the first
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java