diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-03-09 20:30:15 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-03-09 20:30:15 +0000 |
| commit | cc5fab5a3e726fefb5cd40335a4ecf210881f0e0 (patch) | |
| tree | eccc607900e5325a44b7fc9dc657a852bb13949c /src/printer | |
| parent | ec366494778d34d6fd2d27a124a641ebdc249b43 (diff) | |
Strengthen minisat assertion regarding t-propagations that was unintentionally allowing a theory to propagate p and ~p at the same time (and the conflict was undetected, leading to an incorrect answer). Credit to Clark for finding this.
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions