Getting Started with cppproptest

cppproptest can be built and used with CMake. You can examine the requirements with:

# at cppproptest root directory
$ cmake . -BBUILD
$ cd BUILD && make && ./test_proptest

You can edit your project's CMakeLists.txt to include the library proptest:

ADD_SUBDIRECTORY(<path_to_cppproptest_root>)

And then add the shared library proptest to TARGET_LINK_LIBRARIES section.

TARGET_LINK_LIBRARIES( ...
    ...
    proptest
    ...
)

Here's an example using Googletest:

// ...
#include "proptest/proptest.hpp"

using namespace proptest;

TEST(AudioCodec, EncoderDecoder)
{
    // ASSERT_FOR_ALL() is shorthand for ASSERT_TRUE(forAll(...))
    ASSERT_FOR_ALL([](SoundData soundData) {
        auto encoded = MyAudioCodec::encode(soundData);
        auto decoded = MyAudioCodec::decode(encoded);
        PROP_ASSERT_EQ(decoded, soundData);
    });
}

Note that ASSERT_FOR_ALL is a simple macro wrapping an ASSERT_TRUE google test macro around the proptest::forAll function. Similarly, EXPECT_MATRIX and ASSERT_MATRIX wrap proptest::matrix() for Cartesian product tests. You can find more information in Property API Reference - Google Test Integration Macros.

Next Steps: - Step-by-Step Walkthrough - Learn how to create property tests step-by-step - Property API Reference - Complete API reference for property testing