From 2d80346e5b60963ba456411fde0a288c6bf2e321 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Thu, 14 Jan 2021 10:31:14 -0800 Subject: [PATCH 1/1] Fixed a typo in the new class. --- .../jpf/listener/DPORStateReducerMainStatesWithSummary.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java b/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java index c99599f..6273b24 100755 --- a/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java +++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java @@ -41,7 +41,7 @@ import java.util.logging.Logger; * - we find a state that matches a state in a previous run, or * - we have a matched state in the current run that consists of cycles that contain all choices/events. */ -public class DPORStateReducerWithSummary extends ListenerAdapter { +public class DPORStateReducerMainStatesWithSummary extends ListenerAdapter { // Information printout fields for verbose mode private boolean verboseMode; @@ -83,7 +83,7 @@ public class DPORStateReducerWithSummary extends ListenerAdapter { // Statistics private int numOfTransitions; - public DPORStateReducerWithSummary(Config config, JPF jpf) { + public DPORStateReducerMainStatesWithSummary(Config config, JPF jpf) { verboseMode = config.getBoolean("printout_state_transition", false); stateReductionMode = config.getBoolean("activate_state_reduction", true); if (verboseMode) { -- 2.34.1