Constant miri::eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
source ยท const MAIN_THREAD_YIELDS_AT_SHUTDOWN: u32 = 256;
Expand description
When the main thread would exit, we will yield to any other thread that is ready to execute.
But we must only do that a finite number of times, or a background thread running loop {}
will hang the program.