diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-26 11:24:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-26 16:24:31 +0000 |
| commit | aa09c24adf024eee0a72ba5b5d9119c71e17d2a0 (patch) | |
| tree | e3c29ac467ab6e63ed04c26b4dfd116f61ff0b74 /test/regress/regress0 | |
| parent | a05f07c298692ced47c73918876b173bc0fc431d (diff) | |
Disable sygus-inst when incremental (#7485)
Fixes #7385.
Option --sygus-inst relies on the quantifier-free sygus extension of datatypes, which does not support incremental mode. Updating it to support incremental is a long term project.
Until this is complete, --sygus-inst should not be run in incremental mode.
Diffstat (limited to 'test/regress/regress0')
0 files changed, 0 insertions, 0 deletions