diff options
author | Christian Poveda Ruiz <31802960+pvdrz@users.noreply.github.com> | 2023-02-10 12:19:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-10 12:19:13 -0500 |
commit | 36937a72e0f50d95f2402e9c3e4316014765c8cc (patch) | |
tree | e19387c8f60550a94687460235e71c87e6cfeff7 /bindgen-tests/tests/quickchecking/src/lib.rs | |
parent | ce0ae76899a39a93e7db8f8ad24c5e681a3d7294 (diff) |
Update `quickcheck` version (#2411)
This is done to deal with the existing vulnerabilities in older versions of `thread_local` and `regex`
Diffstat (limited to 'bindgen-tests/tests/quickchecking/src/lib.rs')
-rw-r--r-- | bindgen-tests/tests/quickchecking/src/lib.rs | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/bindgen-tests/tests/quickchecking/src/lib.rs b/bindgen-tests/tests/quickchecking/src/lib.rs index 75bfc237..e9f3798d 100644 --- a/bindgen-tests/tests/quickchecking/src/lib.rs +++ b/bindgen-tests/tests/quickchecking/src/lib.rs @@ -5,16 +5,14 @@ //! ```rust //! extern crate quickcheck; //! extern crate quickchecking; -//! extern crate rand; -//! use quickcheck::{Arbitrary, Gen, StdGen}; +//! use quickcheck::{Arbitrary, Gen}; //! use quickchecking::fuzzers; -//! use rand::thread_rng; //! //! fn main() { //! let generate_range: usize = 10; // Determines things like the length of //! // arbitrary vectors generated. //! let header = fuzzers::HeaderC::arbitrary( -//! &mut StdGen::new(thread_rng(), generate_range)); +//! &mut Gen::new(generate_range)); //! println!("{}", header); //! } //! ``` @@ -23,11 +21,9 @@ #[macro_use] extern crate lazy_static; extern crate quickcheck; -extern crate rand; extern crate tempdir; -use quickcheck::{QuickCheck, StdGen, TestResult}; -use rand::thread_rng; +use quickcheck::{Gen, QuickCheck, TestResult}; use std::error::Error; use std::fs::File; use std::io::Write; @@ -110,7 +106,7 @@ fn bindgen_prop(header: fuzzers::HeaderC) -> TestResult { /// to the `csmith-fuzzing/predicate.py` script. pub fn test_bindgen( generate_range: usize, - tests: usize, + tests: u64, output_path: Option<&str>, ) { if let Some(path) = output_path { @@ -120,6 +116,6 @@ pub fn test_bindgen( QuickCheck::new() .tests(tests) - .gen(StdGen::new(thread_rng(), generate_range)) + .gen(Gen::new(generate_range)) .quickcheck(bindgen_prop as fn(fuzzers::HeaderC) -> TestResult) } |