diff options
| author | Shea Newton <sheanewt@gmail.com> | 2017-12-08 22:34:52 -0800 |
|---|---|---|
| committer | Shea Newton <sheanewt@gmail.com> | 2017-12-08 22:34:52 -0800 |
| commit | 2778fe5f1bae3ec8c1d35e6c741f0b4c3dfd1d53 (patch) | |
| tree | e687f916503e29eef64d5b2045cee1cfb435f1ab | |
| parent | 299ff28d4a713ad0aa8f7de700e67b55f9a60cb4 (diff) | |
Address PR change requests
- Fixed misspelling introduced in CONTRIBUTING.md
- Remove `quickchecking -h` output from README.md
| -rw-r--r-- | CONTRIBUTING.md | 2 | ||||
| -rw-r--r-- | tests/quickchecking/README.md | 20 |
2 files changed, 1 insertions, 21 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 60e462d6..99589438 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -227,7 +227,7 @@ See [./csmith-fuzzing/README.md](./csmith-fuzzing/README.md) for details. ### Property tests for `bindgen` with `quickchecking` -The `tests/quickchecking` crate genertates property tests for `bindgen`. +The `tests/quickchecking` crate generates property tests for `bindgen`. From the crate's directory you can run the tests with `cargo run`. For details on additional configuration including how to preserve / inspect the generated property tests, see diff --git a/tests/quickchecking/README.md b/tests/quickchecking/README.md index 8a962163..d3cfe170 100644 --- a/tests/quickchecking/README.md +++ b/tests/quickchecking/README.md @@ -35,25 +35,5 @@ Run `quickchecking` binary to generate and test fuzzed C headers with ``` $ cargo run --bin=quickchecking -- -h -quickchecking 0.2.0 -Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script - -USAGE: - quickchecking [OPTIONS] - -FLAGS: - -h, --help Prints help information - -V, --version Prints version information - -OPTIONS: - -c, --count <COUNT> Count / number of tests to run. Running a fuzzed header through the predicate.py script can - take a long time, especially if the generation range is large. Increase this number if you're - willing to wait a while. [default: 2] - -p, --path <PATH> Optional. Preserve generated headers for inspection, provide directory path for header - output. [default: None] - -r, --range <RANGE> Sets the range quickcheck uses during generation. Corresponds to things like arbitrary usize - and arbitrary vector length. This number doesn't have to grow much for execution time to - increase significantly. [default: 32] - ``` [quickcheck]: https://github.com/BurntSushi/quickcheck |