model
| Crates.io | model |
| lib.rs | model |
| version | 0.1.2 |
| source | src |
| created_at | 2018-05-12 19:15:33.864884 |
| updated_at | 2019-01-05 11:08:27.757516 |
| description | model-based testing for data structures, with linearizability checking |
| homepage | |
| repository | https://github.com/spacejam/model |
| max_upload_size | |
| id | 65094 |
| size | 13,944 |
Tyler Neely (spacejam)
documentation
https://docs.rs/model/