private String getShrinkingStats()

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";
  }