trace/org.jetbrains.lincheck.trace/FileStreamingTraceCollecting/finishCurrentThread

finishCurrentThread

open override fun finishCurrentThread()

Mark the thread as finished in strategy.