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

Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt

Browse source
This commit is contained in:
Nikolaj Bjorner 2017-02-06 21:20:01 -08:00
commit 54f2063c81
4 changed files with 15 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/sat_par.cpp
View file

@ -84,7 +84,7 @@ namespace sat {
break;
}
SASSERT(head < m_size);
IF_VERBOSE((iterations > m_size ? 0 : 3), verbose_stream() << owner << ": head: " << head << " tail: " << m_tail << "\n";);
IF_VERBOSE(static_cast<unsigned>(iterations > m_size ? 0 : 3), verbose_stream() << owner << ": head: " << head << " tail: " << m_tail << "\n";);
bool is_self = owner == get_owner(head);
next(m_heads[owner]);
if (!is_self) {