This should work then, right?

If it still doesn't, then this will have to be closed. I don't see how it would magically work in the third configuration, aka after core_timing.Advance()

src/core/core_manager.cpp

@@ -42,9 +42,8 @@ void CoreManager::RunLoop(bool tight_loop) {
             physical_core.Step();
         }
     }
-    core_timing.Advance();
 
-    Reschedule();
+    core_timing.Advance();
 }
 
 void CoreManager::SingleStep() {