├── .gitignore ├── .travis.yml ├── CMakeLists.txt ├── COPYING ├── INSTALL ├── LICENSE ├── README.md ├── examples ├── CMakeLists.txt └── src │ ├── BoostTupleSupport.cpp │ ├── TestChooseGenerator.cpp │ ├── TestReverse.cpp │ ├── TestReverseArray.cpp │ ├── TestSlowShrinking.cpp │ ├── TestSort.cpp │ ├── TestSortCompact.cpp │ ├── exampleElementsGen.cpp │ ├── sampleOutput.cpp │ └── sampleShrinkOutput.cpp ├── include ├── cppqc.h └── cppqc │ ├── Arbitrary.h │ ├── CompactCheck.h │ ├── Generator.h │ ├── PrettyPrint.h │ ├── Property.h │ ├── Test.h │ └── cxx-prettyprint.h ├── src └── Arbitrary.cpp └── test ├── catch-main.cpp ├── catch.hpp ├── compact-check-tests.cpp ├── functional-tests.cpp └── shrink-explosion-protection.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/.travis.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/COPYING -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/README.md -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/src/BoostTupleSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/BoostTupleSupport.cpp -------------------------------------------------------------------------------- /examples/src/TestChooseGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestChooseGenerator.cpp -------------------------------------------------------------------------------- /examples/src/TestReverse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestReverse.cpp -------------------------------------------------------------------------------- /examples/src/TestReverseArray.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestReverseArray.cpp -------------------------------------------------------------------------------- /examples/src/TestSlowShrinking.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestSlowShrinking.cpp -------------------------------------------------------------------------------- /examples/src/TestSort.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestSort.cpp -------------------------------------------------------------------------------- /examples/src/TestSortCompact.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/TestSortCompact.cpp -------------------------------------------------------------------------------- /examples/src/exampleElementsGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/exampleElementsGen.cpp -------------------------------------------------------------------------------- /examples/src/sampleOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/sampleOutput.cpp -------------------------------------------------------------------------------- /examples/src/sampleShrinkOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/examples/src/sampleShrinkOutput.cpp -------------------------------------------------------------------------------- /include/cppqc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc.h -------------------------------------------------------------------------------- /include/cppqc/Arbitrary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/Arbitrary.h -------------------------------------------------------------------------------- /include/cppqc/CompactCheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/CompactCheck.h -------------------------------------------------------------------------------- /include/cppqc/Generator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/Generator.h -------------------------------------------------------------------------------- /include/cppqc/PrettyPrint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/PrettyPrint.h -------------------------------------------------------------------------------- /include/cppqc/Property.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/Property.h -------------------------------------------------------------------------------- /include/cppqc/Test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/Test.h -------------------------------------------------------------------------------- /include/cppqc/cxx-prettyprint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/include/cppqc/cxx-prettyprint.h -------------------------------------------------------------------------------- /src/Arbitrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/src/Arbitrary.cpp -------------------------------------------------------------------------------- /test/catch-main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/test/catch-main.cpp -------------------------------------------------------------------------------- /test/catch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/test/catch.hpp -------------------------------------------------------------------------------- /test/compact-check-tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/test/compact-check-tests.cpp -------------------------------------------------------------------------------- /test/functional-tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/test/functional-tests.cpp -------------------------------------------------------------------------------- /test/shrink-explosion-protection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grogers0/CppQuickCheck/HEAD/test/shrink-explosion-protection.cpp --------------------------------------------------------------------------------