riak-core-lite/riak_core_lite_basho

Faults found by PropEr

Ouverte

#59 ouverte le 14 juil. 2020

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Erlang (14 forks)github user discovery
bughelp wantedquestiontesting

Métriques du dépôt

Stars
 (85 étoiles)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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

Guide contributeur

Direction de recherche
Reproduisez les échecs en décommentant les lignes mentionnées dans l'issue et en exécutant './rebar3 as proper do eunit m node watcher qc' et de même pour riak core claim statem. Examinez les fichiers de réduction joints pour comprendre les cas d'échec, puis tracez le code de node watcher et de la machine à états de claim pour identifier et corriger les bugs.
Stack technique
Aucun
Domaine
distributed systems
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Erlangrebar3PropErGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65