Fix princess solver interrupts
Showing
- src/it/scala/inox/solvers/unrolling/SimpleUnrollingSuite.scala 1 addition, 4 deletions...t/scala/inox/solvers/unrolling/SimpleUnrollingSuite.scala
- src/main/scala/inox/solvers/princess/AbstractPrincessSolver.scala 13 additions, 3 deletions.../scala/inox/solvers/princess/AbstractPrincessSolver.scala
Loading
Please register or sign in to comment