Attribute Macro proptest

#[proptest]

An attribute macro that marks a function as a test case, and uses proptest’s any strategy to produce random values for each of the function’s parameters.

#[proptest]
fn test_excluded_middle(x: u32, y: u32) {
    assert!(x == y || x != y);
}