From 9b61544d75f5e44aad742f4546f0e83f2639394c Mon Sep 17 00:00:00 2001
From: Thomas Eizinger <thomas@eizinger.io>
Date: Wed, 17 Jul 2024 18:27:35 +1000
Subject: [PATCH] Add more logs

---
 proptest/src/test_runner/runner.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/proptest/src/test_runner/runner.rs b/proptest/src/test_runner/runner.rs
index 27d0ddf8..c8011d4b 100644
--- a/proptest/src/test_runner/runner.rs
+++ b/proptest/src/test_runner/runner.rs
@@ -768,6 +768,8 @@ impl TestRunner {
         #[cfg(feature = "std")]
         let start_time = time::Instant::now();
 
+        verbose_message!(self, TRACE, "Starting shrinking");
+
         if case.simplify() {
             loop {
                 #[cfg(feature = "std")]
@@ -858,12 +860,24 @@ impl TestRunner {
                     // the function under test is acceptable.
                     Ok(_) | Err(TestCaseError::Reject(..)) => {
                         if !case.complicate() {
+                            verbose_message!(
+                                self,
+                                TRACE,
+                                "Cannot complicate further"
+                            );
+
                             break;
                         }
                     }
                     Err(TestCaseError::Fail(why)) => {
                         last_failure = Some(why);
                         if !case.simplify() {
+                            verbose_message!(
+                                self,
+                                TRACE,
+                                "Cannot simplify further"
+                            );
+
                             break;
                         }
                     }