N.B. When using quickcheck (either directly or via the attributes), RUST_LOG=quickcheck enables info! so that it shows useful output (like the number of tests passed). This is not needed to show witnesses for failures.
RUST_LOG no longer controls the output of the log crate itself. The old behavior can be replicated with env_logger, or the logging behavior can be changed (and the documentation be updated).
README.md:
RUST_LOG
no longer controls the output of thelog
crate itself. The old behavior can be replicated withenv_logger
, or the logging behavior can be changed (and the documentation be updated).