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