Read the doc and install rapidcheck.
../configure
Ensure that rapidcheck is used by looking at the summary.
make check
cmake -GNinja ..
ninja check # No regression
cmake -GNinja .. -DENABLE_PROPERTY_BASED_TESTS=ON
Check in the output that `rapidcheck` is enabled by searching for a
couple lines similar to:
```
-- Found Rapidcheck: /usr/local/include
-- Found Rapidcheck: /usr/local/lib/librapidcheck.a
```
ninja check
Assuming you are running a 64-bit Linux machine:
cd depends
RAPIDCHECK=1 make build-linux64
Check the `rapidcheck` package is built.
cd .. && mkdir buildLinux64 && cd buildLinux64
cmake -GNinja .. \
-DCMAKE_TOOLCHAIN_FILE=../cmake/platforms/Linux64.cmake \
-DENABLE_PROPERTY_BASED_TESTS=ON
Check the `rapidcheck` lib found is the one from the `depends`.
ninja check