Don't count expected errors towards numberOfErrorsToReport limit

JonasAlaif · JonasAlaif · commit 06f3e89098ed · 2022-06-03T12:07:00.000+02:00
diff --git a/silver b/silver
@@ -1 +1 @@
-Subproject commit 3c334659a27d84fc6e01201337edccfc7ba9b343
+Subproject commit 58e141dfd1d7fd222a635e907a94bfa03c053a89
diff --git a/src/main/scala/rules/SymbolicExecutionRules.scala b/src/main/scala/rules/SymbolicExecutionRules.scala
@@ -15,7 +15,7 @@ import viper.silver.verifier.{Counterexample, CounterexampleTransformer, Model,
 
 trait SymbolicExecutionRules {
   protected def createFailure(ve: VerificationError, v: Verifier, s: State, generateNewModel: Boolean = false): Failure = {
-    if (s.retryLevel == 0) v.errorsReportedSoFar.incrementAndGet()
+    if (s.retryLevel == 0 && !ve.isExpected) v.errorsReportedSoFar.incrementAndGet()
     var ceTrafo: Option[CounterexampleTransformer] = None
     val res = ve match {
       case ErrorWrapperWithExampleTransformer(wrapped, trafo) =>
