[−][src]Attribute Macro proptest_attr_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); }