// Path: examples/src/test/java/io/qala/datagen/NotReleasedFeatures.java
// public static double greaterDouble(double from) {
//     return RandomShortApi.greaterDouble(from);
// }
// 
// Path: datagen/src/main/java/io/qala/datagen/RandomShortApi.java
// public static double positiveDouble() {
//     return Double(Long.MAX_VALUE);
// }
// 
// Path: examples/src/main/java/io/qala/datagen/examples/OverageCalculation.java
// static double overage(double theoreticalAmount, double actualAmount) {
//     return actualAmount / theoreticalAmount - 1;
// }


import org.junit.Test;
import static io.qala.datagen.NotReleasedFeatures.greaterDouble;
import static io.qala.datagen.RandomShortApi.positiveDouble;
import static io.qala.datagen.examples.OverageCalculation.overage;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertTrue;
package io.qala.datagen.examples;



public class _35_HomeMadePropertyBasedTest {
    @Test public void overageExamples() {
        assertEquals(.3333, overage(9, 12), .0001);
        assertEquals(-.25, overage(12, 9), .0001);
    }

    @Test public void overageIsPositive_ifWeGotMoreThanAsked() {
        double wanted = positiveDouble();
// Path: examples/src/test/java/io/qala/datagen/NotReleasedFeatures.java
// public static double greaterDouble(double from) {
//     return RandomShortApi.greaterDouble(from);
// }
// 
// Path: datagen/src/main/java/io/qala/datagen/RandomShortApi.java
// public static double positiveDouble() {
//     return Double(Long.MAX_VALUE);
// }
// 
// Path: examples/src/main/java/io/qala/datagen/examples/OverageCalculation.java
// static double overage(double theoreticalAmount, double actualAmount) {
//     return actualAmount / theoreticalAmount - 1;
// }


// Path: examples/src/test/java/io/qala/datagen/examples/_35_HomeMadePropertyBasedTest.java
import org.junit.Test;
import static io.qala.datagen.NotReleasedFeatures.greaterDouble;
import static io.qala.datagen.RandomShortApi.positiveDouble;
import static io.qala.datagen.examples.OverageCalculation.overage;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertTrue;

package io.qala.datagen.examples;



public class _35_HomeMadePropertyBasedTest {
    @Test public void overageExamples() {
        assertEquals(.3333, overage(9, 12), .0001);
        assertEquals(-.25, overage(12, 9), .0001);
    }

    @Test public void overageIsPositive_ifWeGotMoreThanAsked() {
        double wanted = positiveDouble();
        double got = greaterDouble(wanted);