Fixed a typo in the new class.
authorrtrimana <rtrimana@uci.edu>
Thu, 14 Jan 2021 18:31:14 +0000 (10:31 -0800)
committerrtrimana <rtrimana@uci.edu>
Thu, 14 Jan 2021 18:31:14 +0000 (10:31 -0800)
src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java

index c99599f..6273b24 100755 (executable)
@@ -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) {