package fj.data.test;

import fj.Unit;
import fj.test.CheckResult;
import fj.test.Property;
import org.junit.Assert;

/**
 * Created by MarkPerry on 18/12/2014.
 */
public class PropertyAssert {

    public static Unit assertResult(Property p) {
        CheckResult cr = p.check();
        CheckResult.summary.println(cr);
        Assert.assertTrue(cr.isExhausted() || cr.isPassed() || cr.isProven());
        return Unit.unit();
    }

}