Fixed missing blockers in quantified propositions
Showing
- src/it/resources/regression/tip/UNSAT/PalindromeList1.tip 65 additions, 0 deletionssrc/it/resources/regression/tip/UNSAT/PalindromeList1.tip
- src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala 41 additions, 16 deletions...main/scala/inox/solvers/unrolling/TemplateGenerator.scala
- src/main/scala/inox/solvers/unrolling/Templates.scala 111 additions, 72 deletionssrc/main/scala/inox/solvers/unrolling/Templates.scala
- src/main/scala/inox/solvers/unrolling/UnrollingSolver.scala 4 additions, 1 deletionsrc/main/scala/inox/solvers/unrolling/UnrollingSolver.scala
Loading
Please register or sign in to comment