Constant proptest::test_runner::INFO_LOG

source ·
pub const INFO_LOG: u32 = 1;
Expand description

Verbose level 1 to show failures. In state machine tests this level is used to print transitions.