feat add log

2024-10-24 04:32:46 +00:00 · 2024-10-24 04:32:46 +00:00 · 50b7472da7
commit 50b7472da7
parent 7ae03d1f2f
1 changed files with 1 additions and 0 deletions
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@ -335,6 +335,7 @@ find_row_mask(std::vector<set_t> &sets,
                    if (mask_task.empty()) { break; }
                    cur_mask = mask_task.front();
                    mask_task.pop();
+                    verbose_printerr("[LOG] - Row mask: 0x%0lx \t\t bits: %s\n", cur_mask, bit_string(cur_mask));
                }

                if (resolve(cur_mask)) {