Find deadlocks in Rust code with Petri net model checking
Why do you think that https://github.com/nicolasAmat/SMPT is a good alternative to cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
Why do you think that https://github.com/nicolasAmat/SMPT is a good alternative to cargo-check-deadlock