Differential fuzzer for quantum compilers. Found the CommutativeCancellation soundness bug fixed in Qiskit 2.5.1.
Property-based testing and metamorphic testing combinator library for Gleam
Shrinking and Exact SEC Separation Algorithms for Cycle Problems
Testo adapter for the property-testing engine: the #[Property] attribute, reflection conventions and TestResult mapping
Stress testing finds a failing test. ccmin shrinks it until you can read it.
This is repository of http://androidcode.pl blog build section. It shows build tools for Android.
Deterministic offline corpus compiler for Unicode, tokenizer, and parser stress testing
Property-based testing for PHP as a Testo plugin: random generators, shrinking to minimal counterexamples, reproducible seeds
Property-based testing plugin for tape-six powered by fast-check: t.prop() and t.scheduler() tester methods with structured counterexamples, seeds, and replay.
Framework-agnostic property-based testing engine: generators, shrinking, runner, regression corpus, events
Reusable, shrink-friendly Hypothesis strategies for dates, money, geo, JSON, text and networking.
Find the smallest input where two implementations disagree. Differential testing with shrinking, zero dependencies - finds six planted algorithm bugs and minimises each to a readable reproducer.
PHPUnit adapter for the property-testing engine: a fluent forAll() trait over the framework-agnostic runner
Add a description, image, and links to the shrinking topic page so that developers can more easily learn about it.
To associate your repository with the shrinking topic, visit your repo's landing page and select "manage topics."