Crate proptest_macro

Attribute Macros

property_test

The property_test procedural macro simplifies the creation of property-based tests using the proptest crate. This macro provides a more concise syntax for writing tests that automatically generate test cases based on properties.