-
- Downloads
Added forced conversions when constraints use strings but the program does not.
Corrected a Lambda expression conversion bug
Showing
- src/main/scala/leon/solvers/combinators/Z3StringCapableSolver.scala 37 additions, 36 deletions...cala/leon/solvers/combinators/Z3StringCapableSolver.scala
- src/main/scala/leon/solvers/z3/Z3StringConversion.scala 9 additions, 7 deletionssrc/main/scala/leon/solvers/z3/Z3StringConversion.scala
- src/test/scala/leon/integration/solvers/SolversSuite.scala 4 additions, 4 deletionssrc/test/scala/leon/integration/solvers/SolversSuite.scala
Loading
Please register or sign in to comment