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.
125 stars
9 watching
17 forks
Language: C++
last commit: 6 months ago
Linked from 1 awesome list
redirectory
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 |