mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fix?

Browse source
This commit is contained in:
Jakob Rath 2024-05-14 16:34:31 +02:00
parent 38745512c0
commit 5b8c6a98c2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/smt/polysat/viable.cpp
View file

@ -980,7 +980,7 @@ v0[19] := 0 v0 [-131062 ; 0[ := [-131062;0[ src ~4 <= 43691*v0;
}
// if there is wrap-around, increment prefix
if (after.e->interval.lo_val() > after.e->interval.hi_val()) {
if (e.e->interval.lo_val() > e.e->interval.hi_val()) {
prefix++;
verbose_stream() << " incremented stored prefix: " << prefix << "\n";
}