Skip to content

HypothesisWorks/csmith

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Packages

No packages published

Languages

  • C++ 57.2%
  • Shell 19.1%
  • Perl 10.9%
  • Makefile 6.3%
  • C 3.1%
  • M4 2.0%
  • Other 1.4%