{"library":"model","type":"library","category":null,"description":"A crate for model-based testing of data structures with linearizability checking.","language":"rust","status":"active","version":"0.1.2","tags":["testing","model-based","linearizability","data-structures"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nmodel = \"0.1.2\"","imports":["use model::Model;"]},{"cmd":"cargo add model","imports":[]}],"homepage":"https://github.com/spacejam/model","github":"https://github.com/spacejam/model","docs":"https://docs.rs/model/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}