riak-core-lite/riak_core_lite_basho

Faults found by PropEr

Offen

#59 geöffnet am 14.07.2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Erlang (14 Forks)github user discovery
bughelp wantedquestiontesting

Repository-Metriken

Stars
 (85 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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-Richtung
Reproduzieren Sie die Fehler, indem Sie die im Issue genannten Zeilen auskommentieren und './rebar3 as proper do eunit m node watcher qc' sowie ähnliche Befehle für riak core claim statem ausführen. Überprüfen Sie die angehängten Shrink Dateien, um die Fehlerfälle zu verstehen, und verfolgen Sie dann den Code von node watcher und der Claim Statusmaschine, um die Fehler zu identifizieren und zu beheben.
Tech Stack
Keine
Domain
distributed systems
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Erlangrebar3PropErGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65