diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-03-12 15:18:30 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-12 15:18:30 -0500 |
commit | 093d5ffdfa5c1656309da6b9cbdfbbf28574a8a0 (patch) | |
tree | 96c76652c60e286223523cf08f599b4cd84fb687 /src/theory/theory_test_utils.h | |
parent | ec8ea8a9c993435c4c5e671b1beea45ac088de64 (diff) |
Add option --sygus-rr-synth-rec for considering all grammar types recursively (#2270)
Diffstat (limited to 'src/theory/theory_test_utils.h')
0 files changed, 0 insertions, 0 deletions