Forbid view function reverts

[Czar102]

Hi, displaying info below:

pr: #16

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 for the challenge yet again!

[nd-certora]

Indeed, reverting view functions can impact the winner. acknowledged as the fifth and last missing spec