diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-20 12:41:49 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 12:41:49 -0500 |
| commit | ed2aa5d552a86fe3e4798ef03c995f54abe20cb9 (patch) | |
| tree | e2195f62132de9dc009bc91a3a46380404fcfa3a /test/regress/regress1 | |
| parent | 696b9d7e06b132bd3cb2d343acecba775e141e24 (diff) | |
Handle failures for sygus QE preprocess (#4072)
If the user explicitly disabled the QE algorithm and asked for QE, then we should resort to normal methods. Fixes #4064 and fixes #4109.
Diffstat (limited to 'test/regress/regress1')
0 files changed, 0 insertions, 0 deletions