feat: update

2024-10-26 10:22:39 +00:00 · 2024-10-26 10:22:39 +00:00 · d14f330e07
commit d14f330e07
parent 65ec8c575c
1 changed files with 3 additions and 0 deletions
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@ -363,6 +363,9 @@ find_row_mask(std::vector<set_t> &sets,
                                    cnt.load(std::memory_order_relaxed), step_count, g_cur_pos.load());
                        }
                    }
+
+                    if (found) { break; }
+
                    step_count -= std::min(step_count, step);

                    if (my_pos > g_base_pos.load(std::memory_order_relaxed)) {