mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 17:45:32 +00:00
Code Activity

verify

Browse source
This commit is contained in:
Jakob Rath 2023-03-02 16:03:55 +01:00
parent d8c6ab3488
commit 5a901e31fd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/polysat/conflict.cpp
View file

@ -222,7 +222,7 @@ namespace polysat {
m_level = s.m_level;
for (auto lit : cl) {
auto c = s.lit2cnstr(lit);
SASSERT_EQ(c.bvalue(s), l_false);
VERIFY_EQ(c.bvalue(s), l_false);
insert(~c);
}