Don't count expected errors towards numberOfErrorsToReport limit

JonasAlaif · JonasAlaif · commit b5091f16b9ce · 2022-06-03T20:54:20.000+02:00
diff --git a/silver b/silver
@@ -1 +1 @@
-Subproject commit 30396357d472af235c42875ef6cde52589dc9dcc
+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) =>
