-
- Downloads
Added warning for potentially unsound models with quantifiers
Showing
- src/main/scala/leon/solvers/combinators/UnrollingSolver.scala 62 additions, 2 deletions...main/scala/leon/solvers/combinators/UnrollingSolver.scala
- src/main/scala/leon/solvers/templates/LambdaManager.scala 7 additions, 6 deletionssrc/main/scala/leon/solvers/templates/LambdaManager.scala
- src/main/scala/leon/solvers/templates/QuantificationManager.scala 59 additions, 68 deletions.../scala/leon/solvers/templates/QuantificationManager.scala
- src/test/scala/leon/integration/solvers/QuantifierSolverSuite.scala 2 additions, 0 deletions...cala/leon/integration/solvers/QuantifierSolverSuite.scala
Loading
Please register or sign in to comment