Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Refactor due to qc_statem implementation

  • Loading branch information...
commit 574df8b30c9ae53fd9507de71cfe178eb89ef747 1 parent ebb3d76
@norton authored
View
1  rebar.config
@@ -13,6 +13,7 @@
%% Erlang compiler options
{erl_opts, [debug_info, warnings_as_errors
+ , {i, "../qc/include/"}
]}.
%% Erlang edoc options for asciiedown_doclet
{edoc_opts, [{doclet, asciiedown_doclet}
View
36 test/qc/qc_statem_lets.erl
@@ -24,6 +24,14 @@
-ifdef(QC).
+%% API
+-export([qc_run/1, qc_run/2]).
+-export([qc_sample/1]).
+-export([qc_prop/1]).
+-export([qc_counterexample/2]).
+-export([qc_counterexample_read/2]).
+-export([qc_counterexample_write/2]).
+
%% qc_statem Callbacks
-behaviour(qc_statem).
-export([command_gen/2]).
@@ -37,7 +45,7 @@
-export([match31/3, match_object31/3, select31/3, select_reverse31/3]).
%% @NOTE For boilerplate exports, see "qc_statem.hrl"
--include_lib("qc/include/qc_statem.hrl").
+-include("qc_statem.hrl").
%%%----------------------------------------------------------------------
@@ -77,6 +85,32 @@
%%%----------------------------------------------------------------------
+%%% API
+%%%----------------------------------------------------------------------
+
+qc_run(NumTests) ->
+ qc_run(NumTests, []).
+
+qc_run(NumTests, Options) ->
+ qc_statem:qc_run(?MODULE, NumTests, Options).
+
+qc_sample(Options) ->
+ qc_statem:qc_sample(?MODULE, Options).
+
+qc_prop(Options) ->
+ qc_statem:qc_prop(?MODULE, Options).
+
+qc_counterexample(Options, CounterExample) ->
+ qc_statem:qc_counterexample(?MODULE, Options, CounterExample).
+
+qc_counterexample_read(Options, FileName) ->
+ qc_statem:qc_counterexample_read(?MODULE, Options, FileName).
+
+qc_counterexample_write(FileName, CounterExample) ->
+ qc_statem:qc_counterexample_write(FileName, CounterExample).
+
+
+%%%----------------------------------------------------------------------
%%% qc_statem Callbacks
%%%----------------------------------------------------------------------
View
36 test/qc/qc_statemc_lets.erl
@@ -25,6 +25,14 @@
-ifdef(QC).
-ifdef(EQC).
+%% API
+-export([qc_run/1, qc_run/2]).
+-export([qc_sample/1]).
+-export([qc_prop/1]).
+-export([qc_counterexample/2]).
+-export([qc_counterexample_read/2]).
+-export([qc_counterexample_write/2]).
+
%% qc_statem Callbacks
-behaviour(qc_statem).
-export([command_gen/2]).
@@ -33,7 +41,7 @@
%% @NOTE For boilerplate exports, see "qc_statem.hrl"
-include_lib("eqc/include/eqc_c.hrl").
--include_lib("qc/include/qc_statem.hrl").
+-include("qc_statem.hrl").
%%%----------------------------------------------------------------------
@@ -56,6 +64,32 @@
%%%----------------------------------------------------------------------
+%%% API
+%%%----------------------------------------------------------------------
+
+qc_run(NumTests) ->
+ qc_run(NumTests, []).
+
+qc_run(NumTests, Options) ->
+ qc_statem:qc_run(?MODULE, NumTests, Options).
+
+qc_sample(Options) ->
+ qc_statem:qc_sample(?MODULE, Options).
+
+qc_prop(Options) ->
+ qc_statem:qc_prop(?MODULE, Options).
+
+qc_counterexample(Options, CounterExample) ->
+ qc_statem:qc_counterexample(?MODULE, Options, CounterExample).
+
+qc_counterexample_read(Options, FileName) ->
+ qc_statem:qc_counterexample_read(?MODULE, Options, FileName).
+
+qc_counterexample_write(FileName, CounterExample) ->
+ qc_statem:qc_counterexample_write(FileName, CounterExample).
+
+
+%%%----------------------------------------------------------------------
%%% qc_statem Callbacks
%%%----------------------------------------------------------------------
Please sign in to comment.
Something went wrong with that request. Please try again.