diff --git a/src/simulator/simulator/player/StlPlayer.h b/src/simulator/simulator/player/StlPlayer.h index 53f567fd..369d1226 100644 --- a/src/simulator/simulator/player/StlPlayer.h +++ b/src/simulator/simulator/player/StlPlayer.h @@ -68,6 +68,12 @@ public: TraceType traceType, bool storageEnabled); + //TODO temporary fix + ~StlPlayer() { + if (parserThread.joinable()) + parserThread.join(); + } + Request nextRequest() override; sc_core::sc_time nextTrigger() override; uint64_t totalRequests() override { return numberOfLines; }