//
// <dependencies>
// <dependency>
// <groupId>junit</groupId>
// <artifactId>junit</artifactId>
// <version>4.12</version>
// <scope>test</scope>
// </dependency>
// <dependency>
// <groupId>org.quicktheories</groupId>
// <artifactId>quicktheories-junit</artifactId>
// <version>3.0.2</version>
// <scope>test</scope>
// </dependency>
// </dependencies>
import org.junit.Test;
import org.quicktheories.core.Gen;
import org.quicktheories.generators.SourceDSL;
import static org.quicktheories.QuickTheory.qt;
public class MyLibraryTest {
@Test
public void testMyLibraryFunction() {
Gen<Integer> intGenerator = SourceDSL.integers().between(1, 100);
qt().forAll(intGenerator).check((input) -> {
return MyLibrary.myFunction(input) == input + 1;
});
}
}
