Fixing a bug: java LinkedList needs removeFirst(), not getFirst() to get and remove...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:29:40 +0000 (16:29 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:29:40 +0000 (16:29 -0700)
src/main/gov/nasa/jpf/listener/DPORStateReducer.java

index f9d79c5..d8133e3 100644 (file)
@@ -792,7 +792,7 @@ public class DPORStateReducer extends ListenerAdapter {
     if (vodGraphMap.containsKey(prevEvent)) {
       nodesToVisit.addAll(vodGraphMap.get(prevEvent));
       while(!nodesToVisit.isEmpty()) {
-        int choice = nodesToVisit.getFirst();
+        int choice = nodesToVisit.removeFirst();
         if (choice == currEvent) {
           return true;
         }