Skip to content
certora-review-voting-chain

Try 7.20.3 #116

Sign in to view logs

Try 7.20.3

Try 7.20.3 #116

Annotations

1 error

verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)

verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
failed Nov 26, 2024 in 2m 6s