riak-core-lite/riak_core_lite_basho

Faults found by PropEr

开放

#59 创建于 2020年7月14日

 (0 条评论) (0 个反应) (0 位负责人)Erlang (14 个派生)github user discovery
bughelp wantedquestiontesting

仓库指标

星标
 (85 个星标)
PR 合并指标
 (30 天内没有已合并 PR)

描述

Poblems which have been recognized in Proper are in node_watcher_qc and riak_core_claim_statem ( method claim ).

  • node_watcher_qc
  • riak_core_claim_statem

For execution, lines 41 - 45 in node_watcher_qc must be uncomment and can then be executed with "./rebar3 as proper do eunit -m node_watcher_qc". Skrink node_watcher_qc: https://travis-ci.org/github/riak-core-lite/riak_core_lite/jobs/696417379#L713

Uncomment lines 53 and 54; execution with "./rebar3 as proper do eunit -m riak_core_claim_statem". Skrink claim_statem:

shrink_riak_core_claim_statem.txt

贡献者指南