Skip to content

Latest commit

 

History

History
4 lines (3 loc) · 506 Bytes

README.md

File metadata and controls

4 lines (3 loc) · 506 Bytes

This is a patched version of Csmith designed to support reducing Csmith generated programs with Hypothesis. It is very much a proof of concept designed to validate how well Hypothesis performs with real world random test-case generators written without its internals in mind, and is not intended for serious usage outside of those experiments.

You almost certainly want the original Csmith, which can be found at https://github.com/csmith-project/csmith.