-
- Downloads
Corrected the usage of solvers to avoid not freed exceptions.
Convert IDs only if the type change.
Showing
- src/main/scala/leon/solvers/combinators/Z3StringCapableSolver.scala 9 additions, 16 deletions...cala/leon/solvers/combinators/Z3StringCapableSolver.scala
- src/main/scala/leon/solvers/z3/Z3StringConversion.scala 11 additions, 7 deletionssrc/main/scala/leon/solvers/z3/Z3StringConversion.scala
- src/test/scala/leon/integration/solvers/SolversSuite.scala 3 additions, 3 deletionssrc/test/scala/leon/integration/solvers/SolversSuite.scala
Loading
Please register or sign in to comment