in src/main/java/org/jetbrains/jetCheck/StatusNotifier.java [53:78]
<T> void shrinkAttempt(PropertyFailure<T> failure, Iteration<T> iteration, StructureNode data) {
if (shouldPrint()) {
int stage = failure.getShrinkingStageCount();
System.out.println(formatCurrentTime() + ": still shrinking (" + iteration.printSeeds() + "). " +
"Examples tried: " + failure.getTotalShrinkingExampleCount() +
", successful minimizations: " + stage);
if (lastReportedStage != stage) {
lastReportedStage = stage;
System.err.println(" Current minimal example: " + failure.getMinimalCounterexample().getExampleValue());
Throwable exceptionCause = failure.getMinimalCounterexample().getExceptionCause();
if (exceptionCause != null) {
String trace = shortenStackTrace(exceptionCause);
if (!trace.equals(lastReportedTrace)) {
lastReportedTrace = trace;
System.err.println(" Reason: " + trace);
}
}
System.err.println();
}
}
if (parameters.printData) {
System.out.println("Generating from shrunk raw data: " + data);
}
}