src/main/scala/leon/synthesis/Synthesizer.scala · 55da06524c0386b56dff9b99b1413443e9d14e16 · LARA / inox · GitLab

Snippets Groups Projects

"src/main/scala/leon/plugin/ExtractionPhase.scala" did not exist on "01c332f947923b2c5b100a41ef172e91d244780f"

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.
```