Trending / Packages / crates.io

model

crates.io

model-based testing for data structures, with linearizability checking

Latest v0.1.2 · Jan 5, 2019

Downloads

No download history yet.

Linked repositories

##RepositoryRepositoryConnectionConnection
1dsmithnh3/excalibur-viewSource package · Manifest
2smbcloudXYZ/smbcloud-cliSource package · Manifest
3spacejam/modelRegistry metadata

Recent releases

VersionPublished
0.1.2Jan 5, 2019
0.1.0Nov 1, 2018
0.0.4May 13, 2018
0.0.3May 12, 2018
0.0.2May 12, 2018

Metadata updated Oct 30, 2026 · Downloads updated Oct 30, 2026

Download counts include automated and repeat installs. Gaps indicate missing observations.