model

library0.1.2rscratesunverified

A crate for model-based testing of data structures with linearizability checking.

# Cargo.toml
[dependencies]
model = "0.1.2"

INSTALL

IMPORT

SIG · MODEL

model

testingrustv0.1.2

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Model

✓ use model::Model;

Creates a new model and applies an operation.

use model::Model; fn main() { let mut model = Model::new(); model.apply("push", vec![1]); println!("Model state: {:?}", model.state()); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.1.2latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

2 hits · last 30 days

node

Resources