Refine error message for refute errors

Co-authored-by: João Pereira <[email protected]>
viperproject · Jul 10, 2024 · eec33de · eec33de
1 parent 4ed5c4f
commit eec33de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/reporting/VerifierError.scala b/src/main/scala/viper/gobra/reporting/VerifierError.scala
@@ -185,7 +185,7 @@ case class RefuteError(info: Source.Verifier.Info) extends VerificationError {
 
   override def localId: String = "refute_error"
 
-  override def localMessage: String = "Refute statement failed. Assertion holds in all cases or could not be reached"
+  override def localMessage: String = "Refute statement failed. Assertion is either unreachable or it always holds."
 }
 
 case class ExhaleError(info: Source.Verifier.Info) extends VerificationError {