diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-16 15:07:55 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-16 15:07:55 -0600 |
| commit | d5de3d822b978be11c98da5f026ab5f2ca9d0a83 (patch) | |
| tree | 20e5992cc228af8bcabddbad8347e6212691bc0b /test/regress/regress0/cvc-rerror-print.cvc | |
| parent | bc55a9c137f92d0a21574c10a74f194e3abf4073 (diff) | |
Mark quantifier instantiations as needs justify (#5684)
This avoids a solution soundness issue when disabling all NL strategies and using --nl-rlv=always.
Diffstat (limited to 'test/regress/regress0/cvc-rerror-print.cvc')
0 files changed, 0 insertions, 0 deletions