diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-19 11:48:06 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 11:48:06 -0300 |
| commit | ef45a4a2529ed5eccfcae634207921b6df3eebc1 (patch) | |
| tree | 19715a183e4e0b7d9819cce4a3ed143176205fdf /examples | |
| parent | f7036fc10ccdebfc1ca7fffe692cd26dd5eb50fe (diff) | |
Generalize atom collection in old proof code (#4626)
Before terms in assertions that are not sent to the SAT solver could be collected by the old proof code as atoms and thus expected to have a corresponding SAT variable. This commit fixes this by making the atom collection from assertions more conservative.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions