Making sure PluginAwareReporter preserves cached flag of messages (#856)

marcoeilers · web-flow · commit 8d76b10ad5a9 · 2025-03-18T16:40:08.000Z
diff --git a/src/main/scala/viper/silver/reporter/Reporter.scala b/src/main/scala/viper/silver/reporter/Reporter.scala
@@ -41,10 +41,10 @@ trait PluginAwareReporter extends Reporter {
           // *before* reporting the corresponding message.
           case esm: EntitySuccessMessage =>
             val newResult = plgns.mapEntityVerificationResult(esm.concerning, Success)
-            doReport(VerificationResultMessage(esm.verifier, esm.concerning, esm.verificationTime, newResult))
+            doReport(VerificationResultMessage(esm.verifier, esm.concerning, esm.verificationTime, newResult, esm.cached))
           case efm: EntityFailureMessage =>
             val newResult = plgns.mapEntityVerificationResult(efm.concerning, efm.result)
-            doReport(VerificationResultMessage(efm.verifier, efm.concerning, efm.verificationTime, newResult))
+            doReport(VerificationResultMessage(efm.verifier, efm.concerning, efm.verificationTime, newResult, efm.cached))
           case m => doReport(m)
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -41,10 +41,10 @@ trait PluginAwareReporter extends Reporter {`
`41`	`41`	`// before reporting the corresponding message.`
`42`	`42`	`case esm: EntitySuccessMessage =>`
`43`	`43`	`val newResult = plgns.mapEntityVerificationResult(esm.concerning, Success)`
`44`		`- doReport(VerificationResultMessage(esm.verifier, esm.concerning, esm.verificationTime, newResult))`
	`44`	`+ doReport(VerificationResultMessage(esm.verifier, esm.concerning, esm.verificationTime, newResult, esm.cached))`
`45`	`45`	`case efm: EntityFailureMessage =>`
`46`	`46`	`val newResult = plgns.mapEntityVerificationResult(efm.concerning, efm.result)`
`47`		`- doReport(VerificationResultMessage(efm.verifier, efm.concerning, efm.verificationTime, newResult))`
	`47`	`+ doReport(VerificationResultMessage(efm.verifier, efm.concerning, efm.verificationTime, newResult, efm.cached))`
`48`	`48`	`case m => doReport(m)`
`49`	`49`	`}`
`50`	`50`	`}`