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: 8 months ago
Linked 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 |