diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-12-07 22:40:15 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-12-07 22:40:15 -0800 |
| commit | f9e3aee4d497e3981fd4802d4b987b7c60a93719 (patch) | |
| tree | e2c3b5fcea37fa2977e9ae5dfd9c4ceea2022f44 /src/parser | |
| parent | 5fa459b1bfedecb141131ade26ca51e671c38c0c (diff) | |
[Regressions] Require proof support for abductionfixNightliesNoProof
PR #3255 introduced a new feature for more scalable
abduction/interpolation that relies on unsat cores. The regressions
added in the PR were not marked as requiring proof support, however,
leading to failing builds if proof support was not enabled.
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions