diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-23 13:30:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-23 13:30:48 -0500 |
| commit | dd515b59583cba1afed8fbb583f8012a214feaad (patch) | |
| tree | e808f4ac62becd2b725c1e870f1020f7b7de4dd8 /examples | |
| parent | 85121a067789d9c6ac7ff14c3e34a2bc5aa83d24 (diff) | |
Throw exception for non-well-founded unimplemented SyGuS types. (#4125)
Fixes #3931.
Currently we print a warning for unimplemented types when constructing default SyGuS grammars. We should additionally throw an exception when the unimplemented type would lead to a non-well-founded datatype.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions