Add failure messages to csv reporter

viperproject · Aug 30, 2024 · 287e872 · 287e872
1 parent 395a1a4
commit 287e872
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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" )