Run claim test by giving a possible initial state

basho · May 9, 2020 · 3fcb0c2 · 3fcb0c2
1 parent 9b28d78
commit 3fcb0c2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/riak_core_claim_statem.erl b/test/riak_core_claim_statem.erl
@@ -244,6 +244,9 @@ weight(_, _, _, _) ->
 -define(QC_OUT(P),
         eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)).
 
+claim_test() ->
+    eqc:quickcheck(?QC_OUT(prop_claim(with_ring_size(5)))).
+
 eqc_check(File, Prop) ->
     {ok, Bytes} = file:read_file(File),
     CE = binary_to_term(Bytes),