riak-core-lite/riak_core_lite_basho

Faults found by PropEr

Aperta

#59 aperta il 14 lug 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Erlang (14 fork)github user discovery
bughelp wantedquestiontesting

Metriche repository

Star
 (85 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Riproduci gli errori decommentando le righe menzionate nell'issue ed eseguendo './rebar3 as proper do eunit m node watcher qc' e simili per riak core claim statem. Esamina i file di shrink allegati per comprendere i casi di errore, quindi traccia il codice del watcher e della state machine di claim per identificare e correggere i bug.
Tech stack
Nessuno
Dominio
distributed systems
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Erlangrebar3PropErGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65