fix: Fix coverNew

misonijnik · misonijnik · commit 03ac8fca88d2 · 2024-12-03T12:43:29.000+01:00
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 {

Original file line number	Diff line number	Diff line change
`@@ -581,7 +581,6 @@ class ExecutionState {`
`581`	`581`	`bool isCoveredNewError() const { return coveredNewError->value; }`
`582`	`582`	`void coverNew() const {`
`583`	`583`	`coveredNew.push_back(new box<bool>(true));`
`584`		`- coveredNewError->value = false;`
`585`	`584`	`coveredNewError = new box<bool>(true);`
`586`	`585`	`}`
`587`	`586`	`void updateCoveredNew() const {`