Coding, Software Development, Java, Scala, Agile.
for Java: import static org.quicktheories.QuickTheory.qt; import static org.quicktheories.generators.SourceDSL.*; public class SomeTests { @Test public void addingTwoPositiveIntegersAlwaysGivesAPositiveInteger(){ qt() .forAll(integers().allPositive() , integers().allPositive()) .check((i,j) -> i +