Adding missing 'add' into HashSet. aug2020
authorrtrimana <rtrimana@uci.edu>
Fri, 10 Jul 2020 18:07:48 +0000 (11:07 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 10 Jul 2020 18:07:48 +0000 (11:07 -0700)
src/main/gov/nasa/jpf/listener/DPORStateReducer.java

index 8e688cf..0da718c 100644 (file)
@@ -1038,9 +1038,9 @@ public class DPORStateReducer extends ListenerAdapter {
       }
     } else {
       choiceSet = new HashSet<>();
-      choiceSet.add(firstChoice);
       doneBacktrackMap.put(stateId, choiceSet);
     }
+    choiceSet.add(firstChoice);
 
     return false;
   }