feature request: provide analysis of the transition generation

proptest-rs / proptest

Hypothesis-like property testing for Rust

Apache License 2.0

1.63k stars 152 forks source link

feature request: provide analysis of the transition generation #402

Open define-null opened 7 months ago

define-null commented 7 months ago

Similar tools like EQC (QuickCheck) and PropErl provide functionality to calculate some stats regarding the generated test cases or transitions. It would be especially useful to have this functionality in proptest state machine as well. Some inspiration can be found here

matthew-russo commented 7 months ago

Thanks for the request and sorry for the delay. I'll give this a look

thomaseizinger commented 3 weeks ago

A (machine-readable) report of all executed testcases would indeed be useful.