Skip to content
certora-review-voting-chain

Certora #125

Sign in to view logs

Certora

Certora #125

Triggered via pull request December 4, 2024 08:33
@nisnislevinisnislevi
synchronize #6
certora
Status Success
Total duration 1h 11m 6s
Artifacts –

certora-review-voting-chain.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

35 warnings
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPower_summary.conf --rule onlyThreeTokens)
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 legalVote)
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 proposalLegalStates)
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 method_reachability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPower_summary.conf --rule 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)
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)
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 votedPowerIsImmutable)
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 proposalHasNonzeroDuration newProposalUnusedId configIs...
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 method_reachability)
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 createdProposalHasRoots)
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)
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 startsStrictlyBeforeEnds)
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 onlyValidProposalCanChangeTally)
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 proposalTimeStateTransitionCompliance)
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)
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 sumOfVotes)
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 proposalMethodStateTransitionCompliance)
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 proposalIdIsImmutable)
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 voteUpdatesTally)
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 votingTallyCanOnlyIncrease)
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 voteTallyChangedOnlyByVoting)
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 startedProposalHasConfig)
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 otherProposalUnchanged)
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 otherVoterUntouched)
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 proposalImmutability)
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 proposalHasNonzeroDuration method_reachability)
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 method_reachability)
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 strangerVoteUnchanged)
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 onlyVoteCanChangeResult)
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 (verifyMisc.conf)
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 (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