#property-testing #fuzz-testing #properties #fuzz #arbitrary #propcheck

dev proptest-arbitrary-interop

Interop glue between arbitrary and proptest crates

1 unstable release

0.1.0 Aug 9, 2022

#667 in Testing

Download history 6485/week @ 2024-11-15 6747/week @ 2024-11-22 7339/week @ 2024-11-29 7598/week @ 2024-12-06 6076/week @ 2024-12-13 5331/week @ 2024-12-20 4146/week @ 2024-12-27 7636/week @ 2025-01-03 6905/week @ 2025-01-10 7267/week @ 2025-01-17 7736/week @ 2025-01-24 7053/week @ 2025-01-31 8987/week @ 2025-02-07 6344/week @ 2025-02-14 7059/week @ 2025-02-21 5010/week @ 2025-02-28

28,476 downloads per month
Used in 17 crates

MIT/Apache

10KB
86 lines

proptest-arbitrary-interop

This crate provides the necessary glue to reuse an implementation of arbitrary::Arbitrary as a proptest::strategy::Strategy.

Usage

in Cargo.toml:

[dependencies]
arbitrary = "1.1.3"
proptest  = "1.0.0"

In your code:


// Part 1: suppose you implement Arbitrary for one of your types
// because you want to fuzz it.

use arbitrary::{Arbitrary, Result, Unstructured};
#[derive(Copy, Clone, Debug)]
pub struct Rgb {
    pub r: u8,
    pub g: u8,
    pub b: u8,
}
impl<'a> Arbitrary<'a> for Rgb {
    fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self> {
        let r = u8::arbitrary(u)?;
        let g = u8::arbitrary(u)?;
        let b = u8::arbitrary(u)?;
        Ok(Rgb { r, g, b })
    }
}

// Part 2: suppose you later decide that in addition to fuzzing
// you want to use that Arbitrary impl, but with proptest.

use proptest::prelude::*;
use proptest_arbitrary_interop::arb;

proptest! {
    #[test]
    #[should_panic]
    fn always_red(color in arb::<Rgb>()) {
        prop_assert!(color.g == 0 || color.r > color.g);
    }
}

Caveats

It only works with types that implement arbitrary::Arbitrary in a particular fashion: those conforming to the requirements of ArbInterop. These are roughly "types that, when randomly-generated, don't retain pointers into the random-data buffer wrapped by the arbitrary::Unstructured they are generated from". Many implementations of arbitrary::Arbitrary will fit the bill, but certain kinds of "zero-copy" implementations of arbitrary::Arbitrary will not work. This requirement appears to be a necessary part of the semantic model of proptest -- generated values have to own their pointer graph, no borrows. Patches welcome if you can figure out a way to not require it.

This crate is based on proptest-quickcheck-interop by Mazdak Farrokhzad, without whose work I wouldn't have had a clue how to approach this. The exact type signatures for the ArbInterop type are courtesy of Jim Blandy, who I hereby officially designate for-all-time as the Rust Puzzle King. Any errors I've introduced along the way are, of course, my own.

License: MIT OR Apache-2.0

Dependencies

~3.5MB
~60K SLoC