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: about 2 years agoLinked from 1 awesome list
redirectory
Related projects:
| Repository | Description | Stars |
|---|---|---|
| Automated testing of program properties in Haskell programs. | 728 | |
| A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 | |
| Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 | |
| A testing library that generates random data to test program properties in Swift | 1,415 | |
| A Coq plugin for property-based testing of software systems | 259 | |
| 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 | |
| A property-based testing framework for Elixir | 377 | |
| Randomized testing of program properties in Prolog | 22 | |
| A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 | |
| Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 | |
| A library used to verify properties of software through automated tests | 1,944 | |
| A property-based testing framework for .NET | 273 | |
| A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 | |
| A C# random testing library with generators and shrinkers for property-based testing of .NET code. | 164 | |
| A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. | 277 |