projects
/
jpf-core.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
e3029fe
)
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
author
rtrimana
<rtrimana@uci.edu>
Mon, 22 Jun 2020 23:57:40 +0000
(16:57 -0700)
committer
rtrimana
<rtrimana@uci.edu>
Mon, 22 Jun 2020 23:57:40 +0000
(16:57 -0700)
src/main/gov/nasa/jpf/listener/DPORStateReducer.java
patch
|
blob
|
history
diff --git
a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index a8e93675828204be6e36918143903b0240568173..a54c7fa6b8f9375f47978d9101aeced24dc6d7b2 100644
(file)
--- a/
src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/
src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@
-1167,7
+1167,8
@@
public class DPORStateReducer extends ListenerAdapter {
pushedExecution, pushedChoice, currRWSet, visited);
}
// Remove the transition after being explored
- visited.remove(confTrans);
+ // TODO: Seems to cause a lot of loops---commented out for now
+ //visited.remove(confTrans);
}
// --- Functions related to the reachability analysis when there is a state match