From 4310dcb8867f7fb0ab6021326b473e040ab6f499 Mon Sep 17 00:00:00 2001
From: Euijun Chung <joykang71@gmail.com>
Date: Mon, 12 Jun 2023 15:53:14 -0400
Subject: [PATCH] bug

---
 src/process_manager.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/process_manager.cc b/src/process_manager.cc
index 316ceb53..b6b65e87 100644
--- a/src/process_manager.cc
+++ b/src/process_manager.cc
@@ -1241,7 +1241,7 @@ void process_manager_c::sim_thread_schedule(bool initial) {
     core_c *core = m_simBase->m_core_pointers[core_id];
 
     std::string core_type = core->get_core_type();
-    if (core_type != "ptx" || core_type != "nvbit") continue;
+    if (core_type != "ptx" && core_type != "nvbit") continue;
 
     // get currently fetching id
     int prev_fetching_block_id = core->m_fetching_block_id;