Merge pull request #139 from basho/develo-3.0-fix-eqc-macros

fix eqc macros
basho · May 11, 2020 · d0de469 · d0de469
2 parents a7fae63 + 2e6a001
commit d0de469
Show file tree

Hide file tree

Showing 11 changed files with 16 additions and 15 deletions.
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: compile rel cover test dialyzer
+.PHONY: compile rel cover test dialyzer eqc
 REBAR=./rebar3
 
 compile:
@@ -19,4 +19,8 @@ dialyzer:
 xref:
 	$(REBAR) xref
 
+eqc:
+	$(REBAR) eqc
+
+
 check: test dialyzer xref
diff --git a/src/riak_dt_emcntr.erl b/src/riak_dt_emcntr.erl
@@ -256,7 +256,6 @@ to_version(_Version, Cntr) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 %% EQC generator
@@ -304,6 +303,7 @@ eqc_state_value(S) ->
     S.
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual(0, value(new())).
 

diff --git a/src/riak_dt_enable_flag.erl b/src/riak_dt_enable_flag.erl
@@ -122,7 +122,6 @@ flag_or(off, off) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -144,6 +143,7 @@ eqc_state_value(S) ->
     S.
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual(off, new()).
 

diff --git a/src/riak_dt_gcounter.erl b/src/riak_dt_gcounter.erl
@@ -159,7 +159,6 @@ to_version(_Version, C) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -197,6 +196,7 @@ eqc_state_value(S) ->
     S.
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual([], new()).
 

diff --git a/src/riak_dt_gset.erl b/src/riak_dt_gset.erl
@@ -179,6 +179,7 @@ to_binary_test() ->
   GSet = update({add, <<"foo">>}, undefined_actor, riak_dt_gset:new()),
   Bin = riak_dt_gset:to_binary(GSet),
   ?assertMatch( <<82:8/integer, ?V2_VERS:8/integer, _/binary>> , Bin).
+-endif.
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -216,5 +217,3 @@ eqc_state_value(Dict) ->
     sets:to_list(S).
 
 -endif.
-
--endif.
diff --git a/src/riak_dt_lwwreg.erl b/src/riak_dt_lwwreg.erl
@@ -164,7 +164,6 @@ to_version(_Version, LWW) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -204,6 +203,7 @@ eqc_state_value({Val, _TS}) ->
     Val.
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual({<<>>, 0}, new()).
 

diff --git a/src/riak_dt_od_flag.erl b/src/riak_dt_od_flag.erl
@@ -209,7 +209,6 @@ to_version(_Version, Flag) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -256,6 +255,8 @@ eqc_state_value(Dict) ->
     orddict:fold(fun(_K, V, Acc) -> V or Acc end, false, Dict).
 -endif.
 
+-ifdef(TEST).
+
 disable_test() ->
     {ok, A} = update(enable, a, new()),
     {ok, B} = update(enable, b, new()),

diff --git a/src/riak_dt_oe_flag.erl b/src/riak_dt_oe_flag.erl
@@ -151,7 +151,6 @@ to_version(_Version, Flag) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -197,6 +196,7 @@ eqc_state_value(Dict) ->
         end, true, Dict).
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual(true, value(new())).
 

diff --git a/src/riak_dt_orset.erl b/src/riak_dt_orset.erl
@@ -277,6 +277,7 @@ stat_test() ->
     ?assertEqual(1, stat(adds_count, Set4)),
     ?assertEqual(2, stat(removes_count, Set4)),
     ?assertEqual(67, stat(waste_pct, Set4)).
+-endif.
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -374,5 +375,3 @@ eqc_state_value({_Cnt, Dict}) ->
     lists:usort(Values).
 
 -endif.
-
--endif.
diff --git a/src/riak_dt_orswot.erl b/src/riak_dt_orswot.erl
@@ -620,6 +620,7 @@ batch_order_test() ->
     {ok, Set4} = update({remove, <<"baz">>}, a, Set),
     {ok, Set5} = update({add, <<"baz">>}, a, Set4),
     ?assertEqual([<<"bar">>, <<"baz">>], value(Set5)).
+-endif.
 
 -ifdef(EQC).
 prop_crdt_converge() ->
@@ -751,5 +752,3 @@ is_sub_bag2([Elem | Rest], SuperBag) ->
     end.
 
 -endif.
-
--endif.
diff --git a/src/riak_dt_pncounter.erl b/src/riak_dt_pncounter.erl
@@ -260,8 +260,6 @@ decrement_by(Decrement, Actor, PNCnt) ->
 %% ===================================================================
 %% EUnit tests
 %% ===================================================================
--ifdef(TEST).
-
 -ifdef(EQC).
 prop_crdt_converge() ->
     crdt_statem_eqc:prop_converge(?MODULE).
@@ -305,6 +303,7 @@ eqc_state_value(S) ->
     S.
 -endif.
 
+-ifdef(TEST).
 new_test() ->
     ?assertEqual([], new()).