private ShrinkStep shrinkIteration()

in src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java [91:102]


  private ShrinkStep shrinkIteration(ShrinkStep limit) {
    ShrinkStep lastSuccessfulShrink = null;
    ShrinkStep step = shrunk.data.shrink();
    while (step != null) {
      step = findSuccessfulShrink(step, limit);
      if (step != null) {
        lastSuccessfulShrink = step;
        step = step.onSuccess(shrunk.data);
      }
    }
    return lastSuccessfulShrink;
  }