UmVirt LFS Package info

📦	Package info

🔙	Parent Directory	-

DB commit: c9dd8835b9e79548f70e25c8ffb9d09430f622a0
APP commit:

[ BASH | XML | JSON ]

rapidcheck

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.

Package info

Codename: rapidcheck
Source file: rapidcheck-master.tar.gz
Source directory: rapidcheck-master
Package URL: rapidcheck-master.tar.gz
Package md5-checksum URL: rapidcheck-master.tar.gz.md5sum
Dependances: *** NO DEPENDANCES FOUND ***
Dependance of: nix.
Patches: *** NO PATCHES FOUND ***
Addons: *** NO ADDONS FOUND ***
Nestings *** NO NESTINGS FOUND ***
Configuration script:

mkdir build
cd build

cmake -DCMAKE_INSTALL_PREFIX=/usr \
      -DRC_ENABLE_GTEST=ON ..

Build script:

cd build

make

Install script:

cd build

make install

Apache/2.4.62 (Debian) Server at ulfs.org Port 443