File tree Expand file tree Collapse file tree 4 files changed +9
-6
lines changed
bindgen-tests/tests/quickchecking Expand file tree Collapse file tree 4 files changed +9
-6
lines changed Original file line number Diff line number Diff line change 11[package ]
22name = " quickchecking"
33description = " Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script"
4- version = " 0.1.0"
5- authors = [" Shea Newton <sheanewt@gmail.com>" ]
4+ version = " 0.0.0"
5+ publish = false
6+ rust-version = " 1.64"
7+ edition = " 2018"
68
79[lib ]
810name = " quickchecking"
Original file line number Diff line number Diff line change 11# Property tests for ` bindgen ` with ` quickchecking `
22
33` quickchecking ` generates random C headers to test ` bindgen `
4- using the [ ` quickcheck ` ] [ quickcheck ] property testing crate. When testing
4+ using the [ ` quickcheck ` ] property testing crate. When testing
55` bindgen ` with ` quickchecking ` , the generated header files are passed to
66` bindgen ` 's ` csmith-fuzzing/predicate.py ` script. If that script fails,
77` quickchecking ` panics, and you can report an issue containing the test case!
@@ -36,4 +36,5 @@ Run `quickchecking` binary to generate and test fuzzed C headers with
3636```
3737$ cargo run --bin=quickchecking -- -h
3838```
39- [ quickcheck ] : https://github.com/BurntSushi/quickcheck
39+
40+ [ `quickcheck` ] : https://github.com/BurntSushi/quickcheck
Original file line number Diff line number Diff line change @@ -82,7 +82,7 @@ fn run_predicate_script(
8282 . output ( ) ?;
8383 }
8484
85- Ok ( Command :: new ( & predicate_script_path_string)
85+ Ok ( Command :: new ( predicate_script_path_string)
8686 . arg ( & header_path_string)
8787 . output ( ) ?)
8888}
You can’t perform that action at this time.
0 commit comments