Fix datatype

7i6ht · 7i6ht · commit f610f5c6a0cf · 2025-03-25T08:45:29.000+01:00
diff --git a/src/main/scala/viper/silver/reporter/Message.scala b/src/main/scala/viper/silver/reporter/Message.scala
@@ -169,7 +169,7 @@ case class BranchFailureMessage(verifier: String, concerning: Entity,
     s"result=${result.toString}, cached=$cached)"
 }
 
-case class ExploredBranches(method: Method, paths: Vector[(Seq[Exp], Boolean)], var cached : Boolean = false)
+case class ExploredBranches(method: Method, paths: Vector[(Vector[(String, Boolean)], Boolean)], var cached : Boolean = false)
 case class ExploredBranchesReport(exploredBranches : ExploredBranches)
   extends Message {
 

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ case class BranchFailureMessage(verifier: String, concerning: Entity,`
`169`	`169`	`s"result=${result.toString}, cached=$cached)"`
`170`	`170`	`}`
`171`	`171`
`172`		`-case class ExploredBranches(method: Method, paths: Vector[(Seq[Exp], Boolean)], var cached : Boolean = false)`
	`172`	`+case class ExploredBranches(method: Method, paths: Vector[(Vector[(String, Boolean)], Boolean)], var cached : Boolean = false)`
`173`	`173`	`case class ExploredBranchesReport(exploredBranches : ExploredBranches)`
`174`	`174`	`extends Message {`
`175`	`175`