Cargo Features

common_messages_sv2 has no features set by default.

[dependencies]
common_messages_sv2 = { version = "4.0.0", features = ["prop_test", "quickcheck_macros"] }
prop_test = quickcheck

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

quickcheck_macros implicit feature

Enables quickcheck_macros

quickcheck_macros:

A macro attribute for quickcheck

quickcheck prop_test?