src/main/scala/leon/synthesis/SynthesisPhase.scala · 0ff0f3be652cf7aa70f05920782d7cc11916be45 · LARA / inox · GitLab

Snippets Groups Projects

12 years ago
0ff0f3be
Define WeightedBranches as default cost model · 0ff0f3be
Etienne Kneuss authored 12 years ago
```
Improve error output by specifying which one is the default.
```
0ff0f3be

History
Define WeightedBranches as default cost model
Etienne Kneuss authored 12 years ago
```
Improve error output by specifying which one is the default.
```