autocheck

Property tester

A C++17 testing library for property-based testing using QuickCheck or SmallCheck.

Header-only C++17 library for property-based testing.

GitHub

125 stars
9 watching
17 forks
Language: C++
last commit: 6 months ago
Linked from 1 awesome list

redirectory

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
nick8325/quickcheck Automated testing of program properties in Haskell programs. 728
bodigrim/smallcheck A testing library that checks Haskell code properties exhaustively using automatic test case generation 134
fscheck/fscheck Automatically tests .NET programs by generating random test cases based on predefined properties 1,169
typelift/swiftcheck A testing library that generates random data to test program properties in Swift 1,415
quickchick/quickchick A Coq plugin for property-based testing of software systems 259
clojure/test.check A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. 1,124
alfert/propcheck A property-based testing framework for Elixir 377
nicoabie/quickcheck Randomized testing of program properties in Prolog 22
hedgehogqa/haskell-hedgehog A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. 676
rudymatela/fitspec Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. 74
typelevel/scalacheck A library used to verify properties of software through automated tests 1,944
hedgehogqa/fsharp-hedgehog A property-based testing framework for .NET 273
c-cube/qcheck A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. 354
anthonylloyd/cscheck A C# random testing library with generators and shrinkers for property-based testing of .NET code. 164
scalaprops/scalaprops A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. 277