net.jqwik.engine.properties.ForAllParametersGenerator Maven / Gradle / Ivy
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();
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy