search

proptest-rs / proptest

Hypothesis-like property testing for Rust
Apache License 2.0
1.69k stars 158 forks source link

Book tips and best practices #367

Closed hamiltop closed 1 year ago

hamiltop commented 1 year ago

Also update the book template and config. Lots of changes here, very open to feedback.

hamiltop commented 1 year ago

@rex-remind101 Took a second pass through and found a less hacky-hack to deal with the cfg test stuff. I also enabled a bunch more proptests.

One additional quirk: mdbook test cannot naively handle extern crates, so to run the tests you have to run it with mdbook test -L ../target/debug/deps

It might be worth exploring https://github.com/tfpk/mdbook-keeper/ (which solves many of these quirks).

hamiltop commented 1 year ago

Who can approve the workflow so CI can run?