added correct check inbetween abstract states

ftsrg · Oct 17, 2022 · b553dd6 · b553dd6
1 parent 750291e
commit b553dd6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...a/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java b/...a/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java
@@ -95,7 +95,6 @@ private static void addToReport(ItpRefutation refutation, Trace<XstsState<ExplSt
             }
         }
         infeasibles.add(Tuple2.of(prunedStates, refutation));
-        System.out.println(refutation.get(refutation.getPruneIndex()));
     }
 
     private static void createReport(Collection<Trace<XstsState<ExplState>, XstsAction>> traces) {
@@ -125,6 +124,8 @@ private static void createReport(Collection<Trace<XstsState<ExplState>, XstsActi
         // allapot fedest pontosan nezzuk, transition fedest csak annyira, hogy serulhetett-e
         if(foundInfeasible) {
             reportBuilder.append("There were infeasible traces found; transition coverage might be incomplete\n");
+        } else {
+            reportBuilder.append("Trace coverage is complete\n");
         }
 
         if(stateRefutations.isEmpty()) {