![]() # Objective https://github.com/rust-lang/miri/issues/1717 has been fixed so we can set thread names in Miri now. ## Solution We set thread names in Miri. |
||
---|---|---|
.. | ||
iter | ||
lib.rs | ||
single_threaded_task_pool.rs | ||
slice.rs | ||
task_pool.rs | ||
task.rs | ||
usages.rs |
![]() # Objective https://github.com/rust-lang/miri/issues/1717 has been fixed so we can set thread names in Miri now. ## Solution We set thread names in Miri. |
||
---|---|---|
.. | ||
iter | ||
lib.rs | ||
single_threaded_task_pool.rs | ||
slice.rs | ||
task_pool.rs | ||
task.rs | ||
usages.rs |