src/main/scala/leon/synthesis/Synthesizer.scala · 8edcbd661f4a670c5f24c83b38d8c43508b62c15 · LARA / inox · GitLab

Snippets Groups Projects

11 years ago
8edcbd66
Use VanuatooDataGen: instrumenting/filtering data gen · 8edcbd66
Etienne Kneuss authored 11 years ago
```
- Activate through --cegis:vanuatoo
- Possibility to skip isomorphic models
- One pattern per conjunct
```
8edcbd66

History
Use VanuatooDataGen: instrumenting/filtering data gen
Etienne Kneuss authored 11 years ago
```
- Activate through --cegis:vanuatoo
- Possibility to skip isomorphic models
- One pattern per conjunct
```