File tree 2 files changed +1
-21
lines changed
2 files changed +1
-21
lines changed Original file line number Diff line number Diff line change @@ -227,7 +227,7 @@ See [./csmith-fuzzing/README.md](./csmith-fuzzing/README.md) for details.
227
227
228
228
### Property tests for ` bindgen ` with ` quickchecking `
229
229
230
- The ` tests/quickchecking ` crate genertates property tests for ` bindgen ` .
230
+ The ` tests/quickchecking ` crate generates property tests for ` bindgen ` .
231
231
From the crate's directory you can run the tests with ` cargo run ` . For details
232
232
on additional configuration including how to preserve / inspect the generated
233
233
property tests, see
Original file line number Diff line number Diff line change @@ -35,25 +35,5 @@ Run `quickchecking` binary to generate and test fuzzed C headers with
35
35
36
36
```
37
37
$ cargo run --bin=quickchecking -- -h
38
- quickchecking 0.2.0
39
- Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script
40
-
41
- USAGE:
42
- quickchecking [OPTIONS]
43
-
44
- FLAGS:
45
- -h, --help Prints help information
46
- -V, --version Prints version information
47
-
48
- OPTIONS:
49
- -c, --count <COUNT> Count / number of tests to run. Running a fuzzed header through the predicate.py script can
50
- take a long time, especially if the generation range is large. Increase this number if you're
51
- willing to wait a while. [default: 2]
52
- -p, --path <PATH> Optional. Preserve generated headers for inspection, provide directory path for header
53
- output. [default: None]
54
- -r, --range <RANGE> Sets the range quickcheck uses during generation. Corresponds to things like arbitrary usize
55
- and arbitrary vector length. This number doesn't have to grow much for execution time to
56
- increase significantly. [default: 32]
57
-
58
38
```
59
39
[ quickcheck ] : https://github.com/BurntSushi/quickcheck
You can’t perform that action at this time.
0 commit comments