diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-06 09:24:11 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-06 09:24:11 -0600 |
| commit | 210e6db5c6a76ee1e554426058ecf3397575f1e3 (patch) | |
| tree | 98140a04acd9eedc91e2d598224ac7005d0a3540 /test/regress/regress1/sygus/phone-1-long.sy | |
| parent | a727f6314c8f2ad72d8d83eb63c413bab68d1b08 (diff) | |
Support default sygus grammar construction for sets (#3842)
Fixes #3645.
Diffstat (limited to 'test/regress/regress1/sygus/phone-1-long.sy')
0 files changed, 0 insertions, 0 deletions