src/main/scala/leon/evaluators/RecursiveEvaluator.scala · 76cd5058c75c84d0f875c400ae11cdcecdcd3bf4 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
76cd5058
Refactor ChooseInfo to account for all types of synthesis problems · 76cd5058
Manos Koukoutos authored 9 years ago
```
- Rename fromChoose to fromSpec
- Handle source/spec correctly
- Fix FileInterface to substitute any synth. problem
```
76cd5058

History
Refactor ChooseInfo to account for all types of synthesis problems
Manos Koukoutos authored 9 years ago
```
- Rename fromChoose to fromSpec
- Handle source/spec correctly
- Fix FileInterface to substitute any synth. problem
```