Property tests for
quickchecking generates random C headers to test
quickcheck property testing crate. When testing
quickchecking, the generated header files are passed to
csmith-fuzzing/predicate.py script. If that script fails,
quickchecking panics, and you can report an issue containing the test case!
python3 to be in
Many systems have
python3 by default but if your OS doesn't, its package
manager may make it available:
$ sudo apt install python3 $ brew install python3 $ # Etc...
quickchecking binary to generate and test fuzzed C headers with
cargo run. Additional configuration is exposed through the binary's CLI.
$ cargo run --bin=quickchecking -- -h