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 /src/parser/smt2/Makefile.am | |
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 'src/parser/smt2/Makefile.am')
0 files changed, 0 insertions, 0 deletions