riak-core-lite/riak_core_lite_basho

Faults found by PropEr

Open

#59 opened on Jul 14, 2020

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Erlang (14 forks)github user discovery
bughelp wantedquestiontesting

Repository metrics

Stars
 (85 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

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

Contributor guide

Research direction
Reproduce the failures by uncommenting the lines mentioned in the issue and running './rebar3 as proper do eunit m node watcher qc' and similarly for riak core claim statem. Review the attached shrink files to understand the failing cases, then trace the code for node watcher and claim state machine to identify and fix the bugs.
Tech stack
None
Domain
distributed systems
Issue type
Bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Erlangrebar3PropErGit
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
65