diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-06-28 12:18:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-28 12:18:47 -0700 |
| commit | aa0c64d35814ef892dbcd0cec805d44599009c41 (patch) | |
| tree | ba17209644a2d8c2662728c327416ee42b449f8b /test/regress/regress2/sygus/nia-max-square.sy | |
| parent | e799ab0164722e8a4f192ee13223d0eeec6ec004 (diff) | |
Fix stale reference in MiniSat when generating UC (#2113)
In MiniSat's analyze(), we were taking a reference of a clause that
could be invalidated by a call to resolveOutUnit(). resolveOutUnit() can
lead to allocation of clauses which in turn can lead to clauses being
reallocated, making the reference stale. The commit encloses the
reference in a code block that makes the lifetime of the reference more
obvious and removes uses of the potentially stale reference.
Diffstat (limited to 'test/regress/regress2/sygus/nia-max-square.sy')
0 files changed, 0 insertions, 0 deletions