From ec6a0c7c41e1600a0c5d416ef586e9a26fce1412 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Wed, 5 Jul 2023 14:41:08 +0200 Subject: [PATCH] quickchecking crate cleanup (#2572) --- Cargo.lock | 2 +- bindgen-tests/tests/quickchecking/Cargo.toml | 6 ++++-- bindgen-tests/tests/quickchecking/README.md | 5 +++-- bindgen-tests/tests/quickchecking/src/lib.rs | 2 +- 4 files changed, 9 insertions(+), 6 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 538a5bd624..a1e3556b27 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -464,7 +464,7 @@ dependencies = [ [[package]] name = "quickchecking" -version = "0.1.0" +version = "0.0.0" dependencies = [ "clap", "lazy_static", diff --git a/bindgen-tests/tests/quickchecking/Cargo.toml b/bindgen-tests/tests/quickchecking/Cargo.toml index 3b87704f27..294961baf9 100644 --- a/bindgen-tests/tests/quickchecking/Cargo.toml +++ b/bindgen-tests/tests/quickchecking/Cargo.toml @@ -1,8 +1,10 @@ [package] name = "quickchecking" description = "Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script" -version = "0.1.0" -authors = ["Shea Newton "] +version = "0.0.0" +publish = false +rust-version = "1.64" +edition = "2018" [lib] name = "quickchecking" diff --git a/bindgen-tests/tests/quickchecking/README.md b/bindgen-tests/tests/quickchecking/README.md index d3cfe17071..03aa0f2313 100644 --- a/bindgen-tests/tests/quickchecking/README.md +++ b/bindgen-tests/tests/quickchecking/README.md @@ -1,7 +1,7 @@ # Property tests for `bindgen` with `quickchecking` `quickchecking` generates random C headers to test `bindgen` -using the [`quickcheck`][quickcheck] property testing crate. When testing +using the [`quickcheck`] property testing crate. When testing `bindgen` with `quickchecking`, the generated header files are passed to `bindgen`'s `csmith-fuzzing/predicate.py` script. If that script fails, `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 ``` $ cargo run --bin=quickchecking -- -h ``` -[quickcheck]: https://github.com/BurntSushi/quickcheck + +[`quickcheck`]: https://github.com/BurntSushi/quickcheck diff --git a/bindgen-tests/tests/quickchecking/src/lib.rs b/bindgen-tests/tests/quickchecking/src/lib.rs index 348ecaa687..631c1c679e 100644 --- a/bindgen-tests/tests/quickchecking/src/lib.rs +++ b/bindgen-tests/tests/quickchecking/src/lib.rs @@ -82,7 +82,7 @@ fn run_predicate_script( .output()?; } - Ok(Command::new(&predicate_script_path_string) + Ok(Command::new(predicate_script_path_string) .arg(&header_path_string) .output()?) }