Skip to content

Commit

Permalink
Introduce the monitor test as part of the EQC tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
jlouis committed Jun 25, 2015
1 parent 173555c commit b882438
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 3 deletions.
5 changes: 4 additions & 1 deletion test/fuse_eqc_SUITE.erl
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,8 @@
%% Tests.
-export([
fuse_time_seq/1,
fuse_time_par/1
fuse_time_par/1,
fuse_monitor_component/1
]).

-ifdef(EQC).
Expand Down Expand Up @@ -63,3 +64,5 @@ fuse_time_seq(_Config) ->

fuse_time_par(_Config) ->
qc(fuse_time_eqc:prop_par()).

fuse_monitor_component(_Config) -> qc(mon_eqc:prop_component_correct()).
8 changes: 6 additions & 2 deletions eqc_test/mon_eqc.erl → test/mon_eqc.erl
Original file line number Diff line number Diff line change
@@ -1,10 +1,12 @@
-module(mon_eqc).

-compile(export_all).

-ifdef(EQC).

-include_lib("eqc/include/eqc.hrl").
-include_lib("eqc/include/eqc_component.hrl").

-compile(export_all).

-define(TAB, fuse_state).

-record(state, {
Expand Down Expand Up @@ -180,3 +182,5 @@ take(N, L) when length(L) < N -> L;
take(N, L) ->
{T, _} = lists:split(N, L),
T.

-endif.

0 comments on commit b882438

Please sign in to comment.