miri::eval

Constant 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.