// Path: datagen/src/main/java/io/qala/datagen/RandomShortApi.java
// public static int integer(int max) {
//     return between(0, max).integer();
// }


import org.junit.Test;
import static io.qala.datagen.RandomShortApi.integer;
import static org.junit.Assert.*;
package io.qala.datagen.examples;



/**
 * Source: <a href="http://fsharpforfunandprofit.com/posts/property-based-testing/">click</a>
 */
public class _30_PropertyBasedTest {
    @Test public void orderDoesNotMatter() {
// Path: datagen/src/main/java/io/qala/datagen/RandomShortApi.java
// public static int integer(int max) {
//     return between(0, max).integer();
// }


// Path: examples/src/test/java/io/qala/datagen/examples/_30_PropertyBasedTest.java
import org.junit.Test;
import static io.qala.datagen.RandomShortApi.integer;
import static org.junit.Assert.*;

package io.qala.datagen.examples;



/**
 * Source: <a href="http://fsharpforfunandprofit.com/posts/property-based-testing/">click</a>
 */
public class _30_PropertyBasedTest {
    @Test public void orderDoesNotMatter() {
        int a = integer(), b = integer();