diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-04 16:01:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-04 21:01:41 +0000 |
| commit | be6f9c2ee9201cc5181ce7ba27b6fe992ab3fff6 (patch) | |
| tree | 83e22969a075e584c0b922db1808fb24a4672484 /src/options/base_options.toml | |
| parent | e680a299ac1da58b8fee27e3733d5e5eea255d94 (diff) | |
Improve defaults for sygus default grammars (#7553)
We now add constants from the conjecture to default grammars by default. We also ensure that integer constants are used as real constants when applicable.
Diffstat (limited to 'src/options/base_options.toml')
0 files changed, 0 insertions, 0 deletions