awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆815Updated this week
Alternatives and similar repositories for shuttle
Users that are interested in shuttle are comparing it to the libraries listed below
Sorting:
- Add hardship to your tests☆993Updated last month
- Magical Deterministic Simulator for distributed systems in Rust.☆878Updated 2 weeks ago
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆613Updated 10 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- Heap profiling and ad hoc profiling for Rust programs.☆803Updated 4 months ago
- Rust mid-level IR Abstract Interpreter☆1,010Updated 10 months ago
- Kani Rust Verifier☆2,580Updated this week
- Refinement Types for Rust