String printToReproduce()

in src/main/java/org/jetbrains/jetCheck/Iteration.java [90:100]


  String printToReproduce(@Nullable Throwable failureReason, CounterExampleImpl<?> minimalCounterExample) {
    String data = minimalCounterExample.getSerializedData();
    boolean scenarios =
      failureReason != null && StatusNotifier.printStackTrace(failureReason).contains("PropertyChecker$Parameters.checkScenarios");
    String rechecking = "PropertyChecker.customized().rechecking(\"" + data + "\")\n    ." + 
                        (scenarios ? "checkScenarios" : "forAll") + "(...)\n";
    return "To re-run the minimal failing case, run\n  " + rechecking +
            "To re-run the test with all intermediate shrinking steps, " +
            "use " + suggestRecheckingIteration() + " instead for last iteration, " +
            "or " + suggestWithSeed() + " for all iterations";
  }