model
model-based testing for data structures, with linearizability checking
Ecosystem
crates.io
crates.io
Latest Release
about 7 years ago
0.1.2
about 7 years ago
Versions
6
6
Downloads
311,130 total
311,130 total
Dependent Packages
7
7
Dependent Repos
13
13
Loading...
Readme
Loading...
Links
| Registry | crates.io |
| Source | Repository |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:cargo/model
spec |
| License | MIT, Apache-2.0 |
| First Release | almost 8 years ago |
| Last Synced | 2 days ago |
Repository
| Stars | 27 on GitHub |
| Forks | 1 on GitHub |
Rankings on crates.io
Downloads
Top 3.8%
Dependent packages
Top 4.7%
Dependent repos
Top 7.2%