On a test failure after shrinking, proptest error report doesn't include a backtrace. It can be found further back from the last run that's panicked, but when a test also prints during its execution, this can get scrolled out of view. It is possible to capture the backtrace with a panic hook to then report it together with the minimal failed input.