model

v0.1.2crates.io· Rust

model-based testing for data structures, with linearizability checking

The verdict

Has 2 high-severity advisories. Verify a patched version exists before using. Check the OSV link for the fixed-in version.

Check the OSV link for the fixed-in version.

Live from the crates.io registry · derived rules, not AI

How it scores

MaintenanceAbandoned

PopularityNiche

Security2 advisories

LicensePermissive

DepsZero deps

Maintenance

Last published 7 years ago.

Popularity

225 downloads / week

Security

2 known advisories (worst: high severity).

License

Apache-2.0 OR MIT

Dependencies

No runtime dependencies

Security advisories

Live from OSV.dev · cached 24h

Recent releases