Skip to content
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

38 property based testing #60

Merged
merged 16 commits into from
Jul 14, 2020
Merged

38 property based testing #60

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
2d95798
Merge pull request #1 from riak-core-lite/master
WoelkiM Mar 19, 2020
9bd3de8
Merge pull request #2 from WoelkiM/master
WoelkiM Mar 19, 2020
9dddb1b
#38 First tests, these are not yet fully functional.
Jun 2, 2020
cfe33f6
quickcheck wip
peterzeller Jun 2, 2020
3de9080
wip
Jun 8, 2020
78ce014
#38 rewrite done
Jun 8, 2020
54ffa3f
#38 update travis
Jun 8, 2020
fdee67a
#38 adjust number of test executions
Jun 9, 2020
a258bc0
#38 update coverage + bug fixing in riak_core_claim
Jun 16, 2020
542f921
Merge branch '38-Property-based-testing' into 38_Property_based_Testing
WoelkiM Jun 18, 2020
8a135f2
adapt the remaining tests
Jul 7, 2020
8f6e9e2
Merge remote-tracking branch 'origin/38_Property_based_Testing' into …
Jul 7, 2020
b7c646d
Merge branch '38-Property-based-testing' into 38_Property_based_Testing
WoelkiM Jul 7, 2020
15a3202
Adaption to lint
Jul 7, 2020
dd450f5
restructuring of the proper tests
Jul 8, 2020
ec73c8b
delete not needed sign
Jul 8, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 0 additions & 47 deletions eqc/bucket_eqc_utils.erl
View file
Open in desktop

This file was deleted.

196 changes: 0 additions & 196 deletions eqc/mock_vnode.erl
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions include/stats.hrl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
-ifdef(TEST).
-ifdef(PROPER).
-include_lib("proper/include/proper.hrl").
-compile(export_all).
-endif.
-ifdef(EQC).
-include_lib("eqc/include/eqc.hrl").
Expand Down
Loading