summaryrefslogtreecommitdiff
path: root/src/rebar_qc.erl
diff options
context:
space:
mode:
Diffstat (limited to 'src/rebar_qc.erl')
-rw-r--r--src/rebar_qc.erl22
1 files changed, 21 insertions, 1 deletions
diff --git a/src/rebar_qc.erl b/src/rebar_qc.erl
index 5784f7d..53a6f52 100644
--- a/src/rebar_qc.erl
+++ b/src/rebar_qc.erl
@@ -26,7 +26,10 @@
%% -------------------------------------------------------------------
-module(rebar_qc).
--export([qc/2, triq/2, eqc/2]).
+-export([qc/2, triq/2, eqc/2, clean/2]).
+
+%% for internal use only
+-export([info/2]).
-include("rebar.hrl").
@@ -50,10 +53,26 @@ eqc(Config, _AppFile) ->
ok = load_qc_mod(eqc),
run_qc(Config, qc_opts(Config), eqc).
+clean(_Config, _File) ->
+ rebar_file_utils:rm_rf(?QC_DIR).
+
%% ===================================================================
%% Internal functions
%% ===================================================================
+info(help, qc) ->
+ ?CONSOLE(
+ "Test QuickCheck properties.~n"
+ "~n"
+ "Valid rebar.config options:~n"
+ " {qc_opts, [{qc_mod, module()}, Options]}~n"
+ " ~p~n"
+ " ~p~n",
+ [
+ {qc_compile_opts, []},
+ {qc_first_files, []}
+ ]).
+
-define(TRIQ_MOD, triq).
-define(EQC_MOD, eqc).
@@ -156,6 +175,7 @@ qc_module(QC=triq, _QCOpts, M) ->
Failed ->
[Failed]
end;
+qc_module(QC=eqc, [], M) -> QC:module(M);
qc_module(QC=eqc, QCOpts, M) -> QC:module(QCOpts, M).
find_prop_mods() ->