diff options
| author | Jon Atack <jon@atack.com> | 2019-08-15 13:16:24 +0200 |
|---|---|---|
| committer | Jon Atack <jon@atack.com> | 2019-08-16 11:51:07 +0200 |
| commit | a6c1fc3cd96e68d00b747ee91ea00dd66cca60e0 (patch) | |
| tree | ade4cd8e22c608700c3c7a942559a16f465158cd /doc/rapidcheck.md | |
| parent | 8fc7f0cba9b1b60ce25d6a8ba51052af1461f825 (diff) | |
build: echo prop tests status during build
Enable users to see if the prop tests are enabled during the build. This can be particularly helpful as property-based tests are silently auto-enabled by default if librapidcheck is found.
Minor fixes to the docs and help grammar for this option.
Diffstat (limited to 'doc/rapidcheck.md')
0 files changed, 0 insertions, 0 deletions