Constant miri::thread::MAIN_THREAD

source · [−]
const MAIN_THREAD: ThreadId;
Expand description

The main thread. When it terminates, the whole application terminates.