From 50b7472da7cf48b416526ff0340acdd4583399ec Mon Sep 17 00:00:00 2001
From: tqcq <unknown@example.com>
Date: Thu, 24 Oct 2024 04:32:46 +0000
Subject: [PATCH] feat add log

---
 drama/src/rev-mc.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c
index 3471d0f..1feda2b 100644
--- 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)) {