rust-model 0.1.2 Model-based testing for data structures
Model-based testing for data structures, with linearizability checking.
- Website: https://github.com/spacejam/model
- License: Expat, ASL 2.0
- Package source: crates-io.scm
- Patches: None
- Builds: x86_64-linux, i686-linux