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/context/Makefile | |
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/context/Makefile')
0 files changed, 0 insertions, 0 deletions