Top 3.8% downloads on crates.io
Top 4.7% dependent packages on crates.io
Top 7.2% dependent repos on crates.io
Top 4.7% dependent packages on crates.io
Top 7.2% dependent repos on crates.io
crates.io : model
model-based testing for data structures, with linearizability checking
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:cargo/model
Keywords:
simulation
, deterministic
, model-checking
, testing
License: MIT,Apache-2.0
Latest release: about 7 years ago
First release: almost 8 years ago
Dependent packages: 7
Dependent repositories: 13
Downloads: 310,500 total
Stars: 27 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
Loading...
Readme
Loading...