consider moving towards using log! levels and letting the user bring the Log impl that prints wherever they want. then we don't need to worry about reinventing the wheel with log verbosity and could just use something like Level::Info for state transitions and Level::Debug/Level::Trace for the nitty gritty details.
consider moving towards using
log!levels and letting the user bring the Log impl that prints wherever they want. then we don't need to worry about reinventing the wheel with log verbosity and could just use something likeLevel::Infofor state transitions andLevel::Debug/Level::Tracefor the nitty gritty details._Originally posted by @matthew-russo in https://github.com/proptest-rs/proptest/pull/310#discussion_r1167993736_