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

for loop style

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-10-28 19:18:24 -07:00
parent 0697c79582
commit bfb3db8b13
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/sat/smt/xor_matrix_finder.cpp
View file

@ -141,7 +141,7 @@ namespace xr {
uint32_t unusedMatrix = 0;
uint32_t too_few_rows_matrix = 0;
uint32_t unused_matrix_printed = 0;
for (int a = m_matrix_no - 1; a >= 0; a--) {
for (unsigned a = m_matrix_no; a-- > 0; ) {
matrix_shape& m = matrix_shapes[a];
uint32_t i = m.m_num;
if (m.m_rows == 0) {