Skip to content
certora-review-voting-chain

Try 7.20.3 new #120

Sign in to view logs

Try 7.20.3 new

Try 7.20.3 new #120

Triggered via pull request December 3, 2024 10:13
@nisnislevinisnislevi
opened #30
try-7.20.3-new
Status Failure
Total duration 3m 34s
Artifacts –

certora-review-voting-chain.yml

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

Annotations

35 errors and 35 warnings
verify (verifyPower_summary.conf --rule onlyThreeTokens)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
Process completed with exit code 1.
verify (verifyLegality.conf --rule votedPowerIsImmutable)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalLegalStates)
Process completed with exit code 1.
verify (verifyPower_summary.conf --rule method_reachability)
Process completed with exit code 1.
verify (verifyLegality.conf --rule legalVote)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
Process completed with exit code 1.
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startsBeforeEnds)
Process completed with exit code 1.
verify (verifyLegality.conf --rule method_reachability)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
Process completed with exit code 1.
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule method_reachability)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
Process completed with exit code 1.
verify (verifyMisc.conf)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalImmutability)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule method_reachability)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
Process completed with exit code 1.
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 (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 (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 (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_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 (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 legalVote)
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 (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 startsBeforeEnds)
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 (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 (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 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 startedProposalHasConfig)
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 (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 (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 (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 proposalMethodStateTransitionCompliance)
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 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 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 strangerVoteUnchanged)
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 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 voteTallyChangedOnlyByVoting)
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 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 otherVoterUntouched)
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 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 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_submitVoteAsRepresentative_and_...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636