diff --git a/src/monitor/diff-test/diff-test.c b/src/monitor/diff-test/diff-test.c
index 115fb135ff691eb273fbf0996145711f5c0eca09..53b46db48d2f736ab05bff7bbae8b993d6060372 100644
--- a/src/monitor/diff-test/diff-test.c
+++ b/src/monitor/diff-test/diff-test.c
@@ -15,6 +15,7 @@ static bool is_detach = false;
 // this is used to let ref skip instructions which
 // can not produce consistent behavior with NEMU
 void difftest_skip_ref() {
+  if (is_detach) return;
   is_skip_ref = true;
 }
 
@@ -25,6 +26,7 @@ void difftest_skip_ref() {
 //   Let REF run `nr_ref` instructions first.
 //   We expect that DUT will catch up with REF within `nr_dut` instructions.
 void difftest_skip_dut(int nr_ref, int nr_dut) {
+  if (is_detach) return;
   skip_dut_nr_instr += nr_dut;
 
   while (nr_ref -- > 0) {