From ec609ae000b3f7bba0e2d6d4c12c0b4e86bd2bfe Mon Sep 17 00:00:00 2001 From: rtrimana Date: Fri, 11 Sep 2020 11:54:27 -0700 Subject: [PATCH 1/1] Testing the implementation; fixing a bug. --- .../gov/nasa/jpf/listener/DPORStateReducerEfficient.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java b/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java index 7512691..5948290 100644 --- a/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java +++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java @@ -444,6 +444,11 @@ public class DPORStateReducerEfficient extends ListenerAdapter { } public HashMap getReachableTransitionsSummary(int stateId) { + // Just return an empty map if the state ID is not recorded yet + // This means that there is no reachable transition from this state + if (!graphSummary.containsKey(stateId)) { + return new HashMap<>(); + } return graphSummary.get(stateId); } -- 2.34.1