summaryrefslogtreecommitdiff
path: root/tests/quickchecking
diff options
context:
space:
mode:
authorShea Newton <sheanewt@gmail.com>2017-12-08 22:34:52 -0800
committerShea Newton <sheanewt@gmail.com>2017-12-08 22:34:52 -0800
commit2778fe5f1bae3ec8c1d35e6c741f0b4c3dfd1d53 (patch)
treee687f916503e29eef64d5b2045cee1cfb435f1ab /tests/quickchecking
parent299ff28d4a713ad0aa8f7de700e67b55f9a60cb4 (diff)
Address PR change requests
- Fixed misspelling introduced in CONTRIBUTING.md - Remove `quickchecking -h` output from README.md
Diffstat (limited to 'tests/quickchecking')
-rw-r--r--tests/quickchecking/README.md20
1 files changed, 0 insertions, 20 deletions
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