fix: Fix coverNew

UnitTestBot · Dec 3, 2024 · 03ac8fc · 03ac8fc
1 parent 377538f
commit 03ac8fc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h
@@ -581,7 +581,6 @@ class ExecutionState {
   bool isCoveredNewError() const { return coveredNewError->value; }
   void coverNew() const {
     coveredNew.push_back(new box<bool>(true));
-    coveredNewError->value = false;
     coveredNewError = new box<bool>(true);
   }
   void updateCoveredNew() const {