diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-09 07:42:03 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-09 07:42:03 -0600 |
| commit | 6cb2e5743bd886115124256c2a3ad689a5b822a2 (patch) | |
| tree | 9376134244e1fc6729bc10a1a78fcdf2ee73d76d /src/prop | |
| parent | 63df35c477ee9e6c7bdeae677656dd374563de55 (diff) | |
Do not regress explanations of datatype lemmas (#5376)
This modifies datatypes to not regress explanations for lemmas. This avoids segfaults in some corner cases of sygus (see attached) and leads to slightly better performance on Facebook verification benchmarks.
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions