diff --git a/src/dlcbf.erl b/src/dlcbf.erl index 25e30e0..61e2639 100644 --- a/src/dlcbf.erl +++ b/src/dlcbf.erl @@ -29,8 +29,8 @@ in/2]). -ifdef(TEST). +-ifdef(EQC). -include_lib("eqc/include/eqc.hrl"). --include_lib("eunit/include/eunit.hrl"). -export([pos_int/0, power_of_two/0, prop_add_are_members/0, @@ -40,6 +40,8 @@ apply_ops/3, prop_add_delete/0]). -endif. +-include_lib("eunit/include/eunit.hrl"). +-endif. -on_load(init/0). @@ -101,6 +103,8 @@ basic_test() -> ?assertNot(in(<<"c">>, D)), ?assert(in(<<"b">>, D)). +-ifdef(EQC). + -define(QC_OUT(P), eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)). @@ -173,4 +177,6 @@ prop_add_delete_test_() -> Prop = eqc:numtests(5000, dlcbf:prop_add_delete()), {timeout, 2*60, fun() -> qc(Prop) end}. +-endif. % EQC + -endif.