Added MatchExpr coverage test.
Replaced Seq[Identifier] with Option[Seq[Identifier]] to take into account transformed expressions without new identifiers.
Showing
- src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala 78 additions, 44 deletions...n/scala/leon/synthesis/disambiguation/InputCoverage.scala
- src/test/scala/leon/integration/solvers/InputCoverageSuite.scala 113 additions, 46 deletions...t/scala/leon/integration/solvers/InputCoverageSuite.scala
Loading
Please register or sign in to comment