certora-review-voting-chain

Certora #132

Sign in to view logs

Triggered via pull request January 9, 2025 15:22

nisnislevi

synchronize #6

certora

Status Success

Total duration 1h 15m 27s

Artifacts –

certora-review-voting-chain.yml

on: pull_request

Matrix: verify

Annotations

9 warnings

verify (verifyPower_summary.conf --rule onlyThreeTokens method_reachability)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyLegality.conf --rule createdVoteHasNonZeroHash votedPowerIsImmutable onlyValidPro...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyProposal_states.conf --rule startsBeforeEnds startsStrictlyBeforeEnds proposalLeg...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyProposal_config.conf --rule startedProposalHasConfig createdProposalHasRoots prop...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower sumOfVotes voteTallyCh...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verify (verifyMisc.conf)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636