# 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 | ||