diff options
Diffstat (limited to 'vendor/proptest/src/test_runner/config.rs')
-rw-r--r-- | vendor/proptest/src/test_runner/config.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vendor/proptest/src/test_runner/config.rs b/vendor/proptest/src/test_runner/config.rs index 04940abc4..232de951b 100644 --- a/vendor/proptest/src/test_runner/config.rs +++ b/vendor/proptest/src/test_runner/config.rs @@ -356,7 +356,8 @@ pub struct Config { /// meaning of certain levels other than 0 is subject to change. /// /// - 0: No extra output. - /// - 1: Log test failure messages. + /// - 1: Log test failure messages. In state machine tests, this level is + /// used to print transitions. /// - 2: Trace low-level details. /// /// This is only available with the `std` feature (enabled by default) |