At a Glance
| Applications | Rust Verifier |
| Developers | Amazon Web Services |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Shuttle is a library for testing concurrent Rust code.
| Applications | Rust Verifier |
| Developers | Amazon Web Services |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Shuttle is a library for testing concurrent Rust code.