New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Faults found by PropEr #59

Open

2 tasks

WoelkiM opened this issue Jul 14, 2020 · 0 comments

Labels

bug help wanted question testing

Collaborator

WoelkiM commented Jul 14, 2020

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

WoelkiM mentioned this issue

38 property based testing #60

Merged

albsch added bug help wanted question testing labels

albsch linked a pull request

that will close this issue

38 property based testing #61

Merged

albsch removed a link to a pull request

38 property based testing #61

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment