renamed PrunedDeclarations to DeclarationsAfterPruning

boogie-org · Oct 6, 2024 · 94cfc09 · 94cfc09
1 parent 9141641
commit 94cfc09
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Source/VCGeneration/Split.cs b/Source/VCGeneration/Split.cs
@@ -898,7 +898,7 @@ public VerificationRunResult ReadOutcome(int iteration, Checker checker, Verifie
           CoveredElements: CoveredElements,
           ResourceCount: resourceCount,
           SolverUsed: (Options as SMTLibSolverOptions)?.Solver,
-          PrunedDeclarations: PrunedDeclarations
+          DeclarationsAfterPruning: PrunedDeclarations
           );
         callback.OnVCResult(result);
 

diff --git a/Source/VCGeneration/VerificationRunResult.cs b/Source/VCGeneration/VerificationRunResult.cs
@@ -19,7 +19,7 @@ public record VerificationRunResult
     IEnumerable<TrackedNodeComponent> CoveredElements,
     int ResourceCount,
     SolverKind? SolverUsed,
-    IReadOnlyList<Declaration> PrunedDeclarations
+    IReadOnlyList<Declaration> DeclarationsAfterPruning
   ) {
     public void ComputePerAssertOutcomes(out Dictionary<AssertCmd, SolverOutcome> perAssertOutcome,
       out Dictionary<AssertCmd, Counterexample> perAssertCounterExamples) {