f

UnitTestBot · Aug 21, 2024 · e764f37 · e764f37
1 parent 9939751
commit e764f37
Show file tree

Hide file tree

Showing 5 changed files with 577 additions and 540 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -4861,7 +4861,9 @@ bool Executor::reachedMaxSeedInstructions(ExecutionState *state) {
   if (siit->maxInstructions &&
       siit->maxInstructions >= state->steppedInstructions) {
     state->coveredNew = siit->coveredNew;
-    state->coveredNewError = siit->coveredNewError;
+    if (siit->coveredNewError) {
+      state->coveredNewError = siit->coveredNewError;
+    }
     seedMap->erase(state);
     objectManager->unseed(state);
     if (seedMap->size() == 0) {

diff --git a/lib/Core/SeedInfo.h b/lib/Core/SeedInfo.h
@@ -34,7 +34,7 @@ class ExecutingSeed {
   std::set<struct KTestObject *> used;
   std::string path = "";
   mutable std::deque<ref<box<bool>>> coveredNew;
-  mutable ref<box<bool>> coveredNewError;
+  mutable ref<box<bool>> coveredNewError = nullptr;
   unsigned inputPosition = 0;
 
 public: