stateright / stateright

A model checker for implementing distributed systems.

Home Page:https://docs.rs/stateright

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Name threads when spawning for checking

jeffa5 opened this issue · comments

This makes panics a bit easier to track down, giving an area to look at.

Agreed. Will carve time to add this, or if you have cycles before I do then I'll just merge your PR.