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: about 2 years ago
Linked from 1 awesome list

redirectory

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
nick8325/quickcheckAutomated testing of program properties in Haskell programs.728
bodigrim/smallcheckA testing library that checks Haskell code properties exhaustively using automatic test case generation134
fscheck/fscheckAutomatically tests .NET programs by generating random test cases based on predefined properties1,169
typelift/swiftcheckA testing library that generates random data to test program properties in Swift1,415
quickchick/quickchickA Coq plugin for property-based testing of software systems259
clojure/test.checkA 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/propcheckA property-based testing framework for Elixir377
nicoabie/quickcheckRandomized testing of program properties in Prolog22
hedgehogqa/haskell-hedgehogA testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions.676
rudymatela/fitspecAutomates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.74
typelevel/scalacheckA library used to verify properties of software through automated tests1,944
hedgehogqa/fsharp-hedgehogA property-based testing framework for .NET273
c-cube/qcheckA QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.354
anthonylloyd/cscheckA C# random testing library with generators and shrinkers for property-based testing of .NET code.164
scalaprops/scalapropsA property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing.277