Introduce rebar3 eqc plugin

2024-11-06 00:35:24 +00:00 · 2015-12-09 19:05:10 +09:00 · 2015-12-09 19:05:10 +09:00 · 707af7db45
commit 707af7db45
parent fce46aab56
4 changed files with 6 additions and 7 deletions
--- 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"}.
--- a/test/msgpack_eqc.erl
+++ b/test/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
--- 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
--- 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.