proptest

proptest
- arbitrary
  - functor
- array
- bits
  - bitset
  - bool_vec
  - i128
  - i16
  - i32
  - i64
  - i8
  - isize
  - u128
  - u16
  - u32
  - u64
  - u8
  - usize
- bool
- char
- collection
- num
  - f32
  - f64
  - i128
  - i16
  - i32
  - i64
  - i8
  - isize
  - u128
  - u16
  - u32
  - u64
  - u8
  - usize
- option
- path
- prelude
  - prop
- range_subset
- result
- sample
- strategy
  - statics
- string
- test_runner
- tuple

proptest :: test_runner :: INFO_LOG

Constant `INFO_LOG`

pub const INFO_LOG: u32 = 1u32;

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