Attribute Macro test_strategy::proptest

source ·
#[proptest]