in src/main/java/org/jetbrains/jetCheck/Iteration.java [115:129]
Iteration<T> performIteration() {
session.notifier.iterationStarted(iterationNumber);
CounterExampleImpl<T> example = findCounterExample();
if (example != null) {
session.notifier.counterExampleFound(this);
throw new PropertyFalsified(new PropertyFailureImpl<>(example, this));
}
if (iterationNumber >= session.parameters.getIterationCount()) {
return null;
}
return new Iteration<>(session, random.nextLong(), iterationNumber + 1);
}