mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 03:07:07 +00:00
Code Activity

Only 10 levels of weakness

Browse source
This commit is contained in:
Arie Gurfinkel 2018-06-27 16:40:07 -04:00
parent 4339722e98
commit 704c19920d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/muz/spacer/spacer_context.cpp
View file

@ -3474,7 +3474,7 @@ lbool context::expand_pob(pob& n, pob_ref_buffer &out)
}
case l_undef:
// something went wrong
if (n.weakness() < 100 /* MAX_WEAKENSS */) {
if (n.weakness() < 10 /* MAX_WEAKENSS */) {
bool has_new_child = false;
SASSERT(m_weak_abs);
m_stats.m_expand_pob_undef++;