ShrinkStep shrink()

in src/main/java/org/jetbrains/jetCheck/StructureNode.java [266:274]


  ShrinkStep shrink() {
    if (value == 0) return null;

    int minValue = 0;
    if (distribution instanceof BoundedIntDistribution) {
      minValue = Math.max(minValue, distribution.getMin());
    }
    return tryInt(minValue, () -> null, this::tryNegation);
  }