in src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java [95:105]
private String getShrinkingStats() {
int exampleCount = failure.getTotalShrinkingExampleCount();
if (exampleCount == 0) return "";
String examples = exampleCount == 1 ? "example" : "examples";
int stageCount = failure.getShrinkingStageCount();
if (stageCount == 0) return "Couldn't shrink, tried " + exampleCount + " " + examples + "\n";
String stages = stageCount == 1 ? "stage" : "stages";
return "Shrunk in " + stageCount + " " + stages + ", by trying " + exampleCount + " " + examples + "\n";
}