diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-06 18:55:29 -0500 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-06 16:55:29 -0700 |
| commit | 79121aeeb03bf70323208d5059e23dfb62a83903 (patch) | |
| tree | 11d96cd290f59f506d039de3df008d97ed8451e8 /Makefile.builds.in | |
| parent | 352034696fdce868452d097d155f195ea1fa949c (diff) | |
Fixes for sygus inference (#2238)
This includes:
- Enabling sygus-specific options in SmtEngine::setDefaults,
- Disabling a variant of miniscoping (triggered by many chc-comp18 benchmarks),
- Treating free constants as functions to synthesize
Diffstat (limited to 'Makefile.builds.in')
0 files changed, 0 insertions, 0 deletions