Proptest-derive is a procedural macro. It will run at compile time and transform your program's source code.

Adding proptest-derive macro(s) as a dependency

If you have cargo-edit installed, run this command in a terminal, in your project's directory:

cargo add proptest-derive

To add it manually, edit your project's Cargo.toml file and add to the [dependencies] section:

proptest-derive = "0.1.2"

You may need to import the macro(s) with use proptest-derive::*.

Read the proptest-derive documentation.

Back to the crate overview.