devel/rapidcheck g20260806 FreeBSD
QuickCheck clone for C++
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
09c60a3255- License
- BSD2CLAUSE
- Categories
- devel
- Package size
- 162.3 KiB, 707.4 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | devel/rapidcheck | g20260806 |
| NetBSD | devel/rapidcheck | 0.0.0.20220314 |
| DragonFly | devel/rapidcheck | g20220314 |
| HardenedBSD | devel/rapidcheck | g20260806 |
| GhostBSD | devel/rapidcheck | g20220314 |
Install
Binary package:
pkg install rapidcheck
From the ports tree:
cd /usr/ports/devel/rapidcheck/ && make install clean
To depend on this port in another port's Makefile:
RUN_DEPENDS= rapidcheck>0:devel/rapidcheck
LIB_DEPENDS= librapidcheck.so:devel/rapidcheck
Packages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | g20260806 | g20260806 | g20220314 | g20220314 | g20260806 |
| FreeBSD:14:quarterly | g20260806 | g20260806 | n/a | g20220314 | g20260806 |
| FreeBSD:15:latest | g20260806 | g20260806 | n/a | g20220314 | g20220314 |
| FreeBSD:15:quarterly | g20260806 | g20260806 | n/a | n/a | n/a |
| FreeBSD:16:latest | g20260806 | g20260806 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Test 1
catch>0: devel/catch
The full lists below include those, and their dependencies in turn.
Build dependencies 15
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake compiler:c++11-lang localbase
- Service scripts
- none
Files
pkg-plist 127
- include/rapidcheck.h
- include/rapidcheck/Assertions.h
- include/rapidcheck/Assertions.hpp
- include/rapidcheck/BeforeMinimalTestCase.h
- include/rapidcheck/Check.h
- include/rapidcheck/Check.hpp
- include/rapidcheck/Classify.h
- include/rapidcheck/Classify.hpp
- include/rapidcheck/Compat.h
- include/rapidcheck/Compat.hpp
- include/rapidcheck/Gen.h
- include/rapidcheck/Gen.hpp
- include/rapidcheck/GenerationFailure.h
- include/rapidcheck/Log.h
- include/rapidcheck/Log.hpp
- include/rapidcheck/Maybe.h
- include/rapidcheck/Maybe.hpp
- include/rapidcheck/Nothing.h
- include/rapidcheck/Random.h
- include/rapidcheck/Random.hpp
- include/rapidcheck/Seq.h
- include/rapidcheck/Seq.hpp
- include/rapidcheck/Show.h
- include/rapidcheck/Show.hpp
- include/rapidcheck/Shrinkable.h
- include/rapidcheck/Shrinkable.hpp
- include/rapidcheck/Traits.h
- include/rapidcheck/detail/AlignedUnion.h
- include/rapidcheck/detail/Any.h
- include/rapidcheck/detail/Any.hpp
- include/rapidcheck/detail/ApplyTuple.h
- include/rapidcheck/detail/BitStream.h
- include/rapidcheck/detail/BitStream.hpp
- include/rapidcheck/detail/Capture.h
- include/rapidcheck/detail/Configuration.h
- include/rapidcheck/detail/ExecFixture.h
- include/rapidcheck/detail/FrequencyMap.h
- include/rapidcheck/detail/FunctionTraits.h
- include/rapidcheck/detail/ImplicitParam.h
- include/rapidcheck/detail/ImplicitParam.hpp
- include/rapidcheck/detail/IntSequence.h
- include/rapidcheck/detail/Platform.h
- include/rapidcheck/detail/Property.h
- include/rapidcheck/detail/Property.hpp
- include/rapidcheck/detail/PropertyContext.h
- include/rapidcheck/detail/Results.h
- include/rapidcheck/detail/Results.hpp
- include/rapidcheck/detail/Serialization.h
- include/rapidcheck/detail/Serialization.hpp
- include/rapidcheck/detail/ShowType.h
- include/rapidcheck/detail/ShowType.hpp
- include/rapidcheck/detail/TestListener.h
- include/rapidcheck/detail/TestListenerAdapter.h
- include/rapidcheck/detail/TestMetadata.h
- include/rapidcheck/detail/TestParams.h
- include/rapidcheck/detail/Traits.h
- include/rapidcheck/detail/TypeList.h
- include/rapidcheck/detail/Utility.h
- include/rapidcheck/detail/Variant.h
- include/rapidcheck/detail/Variant.hpp
- include/rapidcheck/fn/Common.h
- include/rapidcheck/fn/Common.hpp
- include/rapidcheck/gen/Arbitrary.h
- include/rapidcheck/gen/Arbitrary.hpp
- include/rapidcheck/gen/Build.h
- include/rapidcheck/gen/Build.hpp
- include/rapidcheck/gen/Chrono.h
- include/rapidcheck/gen/Chrono.hpp
- include/rapidcheck/gen/Container.h
- include/rapidcheck/gen/Container.hpp
- include/rapidcheck/gen/Create.h
- include/rapidcheck/gen/Create.hpp
- include/rapidcheck/gen/Exec.h
- include/rapidcheck/gen/Exec.hpp
- include/rapidcheck/gen/Maybe.h
- include/rapidcheck/gen/Maybe.hpp
- include/rapidcheck/gen/Numeric.h
- include/rapidcheck/gen/Numeric.hpp
- include/rapidcheck/gen/Predicate.h
- include/rapidcheck/gen/Predicate.hpp
- include/rapidcheck/gen/Select.h
- include/rapidcheck/gen/Select.hpp
- include/rapidcheck/gen/Text.h
- include/rapidcheck/gen/Text.hpp
- include/rapidcheck/gen/Transform.h
- include/rapidcheck/gen/Transform.hpp
- include/rapidcheck/gen/Tuple.h
- include/rapidcheck/gen/Tuple.hpp
- include/rapidcheck/gen/detail/ExecHandler.h
- include/rapidcheck/gen/detail/ExecRaw.h
- include/rapidcheck/gen/detail/ExecRaw.hpp
- include/rapidcheck/gen/detail/GenerationHandler.h
- include/rapidcheck/gen/detail/Recipe.h
- include/rapidcheck/gen/detail/ScaleInteger.h
- include/rapidcheck/gen/detail/ShrinkValueIterator.h
- include/rapidcheck/gen/detail/ShrinkValueIterator.hpp
- include/rapidcheck/seq/Create.h
- include/rapidcheck/seq/Create.hpp
- include/rapidcheck/seq/Operations.h
- include/rapidcheck/seq/Operations.hpp
The first 100 are listed.
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| emil-e-rapidcheck-g20260806-6e8dadf_GH0.tar.gz | 186243 | c92ae300c1a7b88ce9d1b081848def428f8d40cef60108e1a4a217742db0e9e6 |