Property-based testing library for Python

quick.py Quick.py is a property-based testing library for Python inspired by the Haskell library QuickCheck. The core idea of QuickCheck is that instead of enumerating expected input and output for unit tests, you write pro

Related Repos


18

miguelgrinberg Python web server and web framework benchmark.
 
10

aspuru-guzik-group Olympus provides a consistent and easy-to-use framework for benchmarking optimization algorithms
 
4.9k

microsoft Python version of the Playwright testing and automation library.Playwright delivers automation that is ever-green, capable, reliable and fast. See how Playwright is better.
 
70

facebookresearch PPL Bench is a new benchmark framework for evaluating probabilistic programming languages (PPLs).
 
10

Stono Continually test your Service Mesh
 
10

testsmt Yin-Yang is a tool for automatically stress-testing Satisfiability Modulo Theory (SMT) solvers. Given a set of SMT-LIB v2.6 seed formulas, Yin-Yang generates mutant formulas that are then used as the test seeds for SMT solvers. It currently supports two mutation-based testing approaches.
 
3.7k

openatx Android Uiautomator2 Python Wrapper
 
20

bytedance Fastbot is a model-based testing tool for modeling GUI transitions to discover app stability problems. It combines machine learning and reinforcement learning techniques to assist discovery in a more intelligent way. GUI state abstraction in Fastbot is achieved with reference to project APE.