[fix] Fix stats

UnitTestBot · Oct 6, 2023 · 8798ea5 · 8798ea5
1 parent 532bcff
commit 8798ea5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
@@ -593,6 +593,7 @@ void KleeHandler::processTestCase(const ExecutionState &state,
       klee_warning("unable to get symbolic solution, losing test case");
 
     const auto start_time = time::getWallTime();
+    bool atLeastOneGenerated = false;
 
     if (WriteKTests) {
 
@@ -602,7 +603,7 @@ void KleeHandler::processTestCase(const ExecutionState &state,
                 getOutputFilename(getTestFilename("ktest", id)).c_str())) {
           klee_warning("unable to write output test case, losing it");
         } else {
-          ++m_numGeneratedTests;
+          atLeastOneGenerated = true;
         }
 
         if (WriteStates) {
@@ -691,6 +692,10 @@ void KleeHandler::processTestCase(const ExecutionState &state,
 
     if (WriteXMLTests) {
       writeTestCaseXML(message != nullptr, ktest, id);
+      atLeastOneGenerated = true;
+    }
+
+    if (atLeastOneGenerated) {
       ++m_numGeneratedTests;
     }