From 287e872b49e95923ca9f78b4f6f1ffe4a568c9cf Mon Sep 17 00:00:00 2001 From: trk Date: Fri, 30 Aug 2024 10:23:54 +0200 Subject: [PATCH] Add failure messages to csv reporter --- src/main/scala/viper/silver/reporter/Message.scala | 1 + src/main/scala/viper/silver/reporter/Reporter.scala | 1 + 2 files changed, 2 insertions(+) diff --git a/src/main/scala/viper/silver/reporter/Message.scala b/src/main/scala/viper/silver/reporter/Message.scala index 31b423ca7..0ad57d22e 100644 --- a/src/main/scala/viper/silver/reporter/Message.scala +++ b/src/main/scala/viper/silver/reporter/Message.scala @@ -340,6 +340,7 @@ case class BlockFailureMessage(methodName: String, label: String, pathId: Int) e override val toString: String = s"block_failure_message(methodName=$methodName, label=$label, pathId=$pathId)" override val name: String = "block_failure_message" } + /** Reported when an execution path through a method has completed. */ case class PathProcessedMessage(methodName: String, pathId: Int, result: String) extends Message { diff --git a/src/main/scala/viper/silver/reporter/Reporter.scala b/src/main/scala/viper/silver/reporter/Reporter.scala index 496d6748d..ec8c1cd21 100644 --- a/src/main/scala/viper/silver/reporter/Reporter.scala +++ b/src/main/scala/viper/silver/reporter/Reporter.scala @@ -76,6 +76,7 @@ case class CSVReporter(name: String = "csv_reporter", path: String = "report.csv case q: QuantifierChosenTriggersMessage => csv_file.write(s"${q.toString}\n") case t: VerificationTerminationMessage => csv_file.write(s"${t.toString}\n") case r: BlockReachedMessage => csv_file.write(s"${r.toString}\n") + case f: BlockFailureMessage => csv_file.write(s"${f.toString}\n") case p: PathProcessedMessage => csv_file.write(s"${p.toString}\n") case _ => println( s"Cannot properly print message of unsupported type: $msg" )