3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
This commit is contained in:
Nikolaj Bjorner 2022-01-02 17:53:26 -08:00
parent d0fb3cba15
commit 43e449a805

View file

@ -129,7 +129,7 @@ namespace q {
r = n;
}
else if (n->generation() == gen) {
if ((++count) % m_qs.random() == 0)
if ((++count) % (1 + m_qs.random()) == 0)
r = n;
}
if (count > m_max_choose_candidates)