diff options
Diffstat (limited to 'tests/quickchecking')
| -rw-r--r-- | tests/quickchecking/README.md | 20 |
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 |