From 707af7db455f4bce588277d760b4149749b7c44e Mon Sep 17 00:00:00 2001 From: UENISHI Kota Date: Wed, 9 Dec 2015 19:05:10 +0900 Subject: [PATCH] Introduce rebar3 eqc plugin --- .eqc_ci | 3 ++- {test => eqc}/msgpack_eqc.erl | 5 ----- rebar.config | 4 ++++ test/msgpack_tests.erl | 1 - 4 files changed, 6 insertions(+), 7 deletions(-) rename {test => eqc}/msgpack_eqc.erl (96%) diff --git a/.eqc_ci b/.eqc_ci index 279961e..10d2702 100644 --- a/.eqc_ci +++ b/.eqc_ci @@ -1,3 +1,4 @@ -{build, "make deps test"}. +{build, "./rebar3 compile eqc"}. {test_path, "_build/test/lib/msgpack/ebin"}. {test_path, "_build/test/lib/msgpack/test"}. +{test_path, "_build/test/lib/msgpack/eqc"}. diff --git a/test/msgpack_eqc.erl b/eqc/msgpack_eqc.erl similarity index 96% rename from test/msgpack_eqc.erl rename to eqc/msgpack_eqc.erl index b5a56e6..f82099c 100644 --- a/test/msgpack_eqc.erl +++ b/eqc/msgpack_eqc.erl @@ -42,11 +42,6 @@ eqc_test_() -> ?_assertProp(prop_msgpack([{format, jsx}])) ]}. --ifndef(without_map). -%% eqc_17_0_test_() -> -%% ?_assertProp(prop_msgpack([{format, map}])). --endif. - prop_msgpack() -> ?FORALL(Obj, msgpack_object(), begin diff --git a/rebar.config b/rebar.config index 11c6956..cb62335 100644 --- a/rebar.config +++ b/rebar.config @@ -13,6 +13,10 @@ "src/msgpack_ext.erl" ]}. +{plugins, [ + {rebar3_eqc, ".*", {git, "https://github.com/kellymclaughlin/rebar3-eqc-plugin.git", {tag, "0.0.8"}}} +]}. + %% {port_sources, ["c_src/*.c"]}. %% {port_env, [ %% %% Make sure to set -fPIC when compiling leveldb diff --git a/test/msgpack_tests.erl b/test/msgpack_tests.erl index 5160fdc..d963e0b 100644 --- a/test/msgpack_tests.erl +++ b/test/msgpack_tests.erl @@ -21,7 +21,6 @@ -import(msgpack, [pack/2, unpack/2, pack/1, unpack/1]). --define(EQC, true). -ifdef(EQC). -include_lib("eqc/include/eqc.hrl"). -endif.