Port details on branch 2022Q2 |
- rapidcheck QuickCheck clone for C++
- g20220314 devel =0 g20220314Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2019-10-27 17:49:05
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- License: BSD2CLAUSE
- WWW:
- https://github.com/emil-e/rapidcheck
- Description:
- QuickCheck clone for C++ with the goal of being simple to use with as little
boilerplate as possible.
RapidCheck is a C++ framework for property based testing inspired by QuickCheck
and other similar frameworks. In property based testing, you state facts about
your code that given certain precondition should always be true. RapidCheck then
generates random test data to try and find a case for which the property doesn't
hold. If such a case is found, RapidCheck tries to find the smallest case (for
some definition of smallest) for which the property is still false and then
displays this as a counterexample. For example, if the input is an integer,
RapidCheck tries to find the smallest integer for which the property is false.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- rapidcheck>0:devel/rapidcheck
- To install the port:
- cd /usr/ports/devel/rapidcheck/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/rapidcheck
- pkg install rapidcheck
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: rapidcheck
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1659163344
SHA256 (emil-e-rapidcheck-g20220314-8fafda4_GH0.tar.gz) = 2b7051602620198b0d83a2844152ca0f9a7279a75e5ac7552dc0e0ea22b4bd1c
SIZE (emil-e-rapidcheck-g20220314-8fafda4_GH0.tar.gz) = 181827
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- devel_rapidcheck
- USES:
- cmake compiler:c++11-lang localbase
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|