You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A run of the new BordaMissingRule.spec on the original Borda.sol that is verified is here
A run of Borda.spec on BordaNewBug.sol showing the existing spec misses the bug is here
Reports of all previously acknowledged bounty specs on BordaNewBug.sol: included in the above verification, see votedFunctionIsVotedMapping, preferLastVotedHigh and onlyVotingCanChangeTheWinner.
A run of BordaMissingRule.spec on BordaNewBug.sol showing your rule catches the bug is here
Thanks!
The text was updated successfully, but these errors were encountered:
pr: #22
A run of the new
BordaMissingRule.specon the originalBorda.solthat is verified is hereA run of
Borda.speconBordaNewBug.solshowing the existing spec misses the bug is hereReports of all previously acknowledged bounty specs on
BordaNewBug.sol: included in the above verification, seevotedFunctionIsVotedMapping,preferLastVotedHighandonlyVotingCanChangeTheWinner.A run of
BordaMissingRule.speconBordaNewBug.solshowing your rule catches the bug is hereThanks!
The text was updated successfully, but these errors were encountered: