search

proptest-rs / proptest

Hypothesis-like property testing for Rust
Apache License 2.0
1.74k stars 161 forks source link

feat: introduce `Sequential::new` #506

Closed thomaseizinger closed 2 months ago

thomaseizinger commented 2 months ago

The Sequential struct is where most of the useful functionality of proptest-state-machine lives. Currently, it can only be constructed via the ReferenceStateMachine trait.

By introducing a dedicated ctor function, users are not bound to use the ReferenceStateMachine trait but can initialise the test to their liking whilst still being able to use all of the shrinking functionality built into Sequential.

Replaces: #493.

thomaseizinger commented 2 months ago

Thanks for merging this!