Fix TSO Bugs

[satcheck.git] / mcexecution.cc

diff --git a/mcexecution.cc b/mcexecution.cc
index 404569a1ff92e927098d2b0830d80a44f6f71025..36afe0b81f030112102e0f7a07e2ae1c9e69c09f 100644 (file)
--- a/mcexecution.cc
+++ b/mcexecution.cc
@@ -312,6 +312,9 @@ void MCExecution::doStore(thread_id_t tid) {
        SnapList<EPValue *> * list=(*storebuffer)[id_to_int(tid)];
        EPValue * epval=list->front();
        list->pop_front();
+       if (DBG_ENABLED()) {
+               model_print("tid = %lu: ", tid);
+       }
        doStore(epval);
 }