projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fixing a bug in ConflictTracker.java
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
listener
/
ConflictTracker.java
diff --git
a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 3621a49ac3598589be39941c1107a27b20a919c2..ca405b25dacf78abaec4f885cbef1ef0c7852956 100644
(file)
--- a/
src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/
src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@
-187,6
+187,8
@@
public class ConflictTracker extends ListenerAdapter {
if (setSet != null) {
for (int i = 0;i < setSet.size();i++) {
+ if (currentNode.getOutSet().contains(setSet.get(i)))
+ currentNode.getOutSet().remove(setSet.get(i));
isChanged |= currentNode.getOutSet().add(setSet.get(i));
}
}