[Peras 15] State-machine tests for PerasVoteDB #1809
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
agustinmista
force-pushed
the
peras/vote-db
branch
from
2baa738 to
2a042da
Compare
agustinmista
force-pushed
the
peras/vote-db-tests
branch
3 times, most recently
from
7dab848 to
6b35d34
Compare
agustinmista
force-pushed
the
peras/vote-db
branch
4 times, most recently
from
8127942 to
748f5a4
Compare
agustinmista
force-pushed
the
peras/vote-db
branch
from
748f5a4 to
9019813
Compare
agustinmista
force-pushed
the
peras/vote-db-tests
branch
3 times, most recently
from
d690be1 to
0c8ce7c
Compare
agustinmista
force-pushed
the
peras/vote-db
branch
from
9019813 to
f937cb5
Compare
agustinmista
force-pushed
the
peras/vote-db-tests
branch
from
0c8ce7c to
1def8ad
Compare
agustinmista
changed the title
This commit implements state-machine tests for the PerasVoteDB using quickcheck-dynamic. Notably, we define rather constrained generators to increase the chances of (among others): * Voting for the same target more than once (normal behavior), * Voting more than once per round (PerasVoteAlreadyInDB), * Two voting targets becoming winners (MultipleWinnersInRound) Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
agustinmista
force-pushed
the
peras/vote-db-tests
branch
from
1def8ad to
c5b60c6
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR implements state-machine tests for the PerasVoteDB using
quickcheck-dynamic. Notably, we define rather constrained generators to increase the chances of (among others):