update: error

2024-10-26 13:26:54 +00:00 · 2024-10-26 13:26:54 +00:00 · e74f5e6103
commit e74f5e6103
parent d34f34c66c
1 changed files with 1 additions and 0 deletions
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@ -396,6 +396,7 @@ find_row_mask(std::vector<set_t> &sets,
                }

                for (int i = outer_step; i > 0 && cur_mask < last_mask; --i) {
+                    if (i % inner_step == 0) { try_update_row_mask(end_pos - i, cur_mask); }
                    if (resolve(cur_mask)) { set_found(cur_mask); }
                    cur_mask = next_bit_permutation(cur_mask);
                }