src/main/scala/leon/solvers/TimeoutSolverFactory.scala · 101707b6482bd213efea81e97bc82436eda6390d · LARA / inox · GitLab

Snippets Groups Projects

10 years ago
55da0652
Explicitly shutdown() solver factories when they are no longer used · 55da0652
Etienne Kneuss authored 10 years ago
```
Limitations:
 - Test suites about Fairz3 need full refactoring to shutdown
 - No shutdown in termination checkers for now.
```
55da0652

History
Explicitly shutdown() solver factories when they are no longer used
Etienne Kneuss authored 10 years ago
```
Limitations:
 - Test suites about Fairz3 need full refactoring to shutdown
 - No shutdown in termination checkers for now.
```

TimeoutSolverFactory.scala 443 B