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/max2-bv.sy | |
parent | a727f6314c8f2ad72d8d83eb63c413bab68d1b08 (diff) |
Support default sygus grammar construction for sets (#3842)
Fixes #3645.
Diffstat (limited to 'test/regress/regress1/sygus/max2-bv.sy')
0 files changed, 0 insertions, 0 deletions