Avoid include Verilator files in src/difftest

OpenXiangShan · Sep 21, 2023 · 275fe06 · 275fe06
1 parent 8aa9275
commit 275fe06
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/test/csrc/difftest/difftest.h b/src/test/csrc/difftest/difftest.h
@@ -20,7 +20,9 @@
 #include <vector>
 #include "common.h"
 #include "difftrace.h"
+#ifdef FUZZING
 #include "emu.h"
+#endif // FUZZING
 #include "refproxy.h"
 #include "golden.h"
 
@@ -313,6 +315,7 @@ class Difftest {
   }
   inline bool in_disambiguation_state() {
     static bool was_found = false;
+#ifdef FUZZING
     // Only in fuzzing mode
     if (proxy->in_disambiguation_state()) {
       was_found = true;
@@ -322,6 +325,7 @@ class Difftest {
       stats.exit_code = SimExitCode::ambiguous;
 #endif // FUZZER_LIB
     }
+#endif // FUZZING
     return was_found;
   }