net.jqwik.engine.properties.ForAllParametersGenerator Maven / Gradle / Ivy
The newest version!
package net.jqwik.engine.properties;
import java.util.*;
import net.jqwik.api.*;
public interface ForAllParametersGenerator extends Iterator>> {
default int edgeCasesTotal() {
return 0;
}
default int edgeCasesTried() {
return 0;
}
void reset();
}