proptest-state-machine
| Crates.io | proptest-state-machine |
| lib.rs | proptest-state-machine |
| version | |
| source | src |
| created_at | 2023-05-31 20:25:17.50773 |
| updated_at | 2024-12-16 01:48:07.10013 |
| description | State machine based testing support for proptest. |
| homepage | https://proptest-rs.github.io/proptest/proptest/state-machine.html |
| repository | https://github.com/proptest-rs/proptest |
| max_upload_size | |
| id | 879124 |
| Cargo.toml error: | TOML parse error at line 18, column 1 | 18 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
publish (github:proptest-rs:publish)
documentation
https://docs.rs/proptest-state-machine/latest/proptest-state-machine/
README
proptest-state-machine
The state machine testing support provides a strategy and convenience runner macro for a sequential state machine. To learn more, please consult state machine page in the Proptest book.