Skip to content
certora-review-voting-chain

Try 7.20.3 new #122

Sign in to view logs

Try 7.20.3 new

Try 7.20.3 new #122

Triggered via pull request December 3, 2024 16:21
@nisnislevinisnislevi
synchronize #30
try-7.20.3-new
Status Cancelled
Total duration 24m 39s
Artifacts –

certora-review-voting-chain.yml

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

Annotations

32 errors and 15 warnings
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
The operation was canceled.
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
The operation was canceled.
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
The operation was canceled.
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
The operation was canceled.
verify (verifyProposal_states.conf --rule proposalImmutability)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalImmutability)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
The operation was canceled.
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
The operation was canceled.
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
The operation was canceled.
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
The operation was canceled.
verify (verifyMisc.conf)
The run was canceled by @nisnislevi.
verify (verifyMisc.conf)
The operation was canceled.
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 (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 createdVoteHasNonZeroHash)
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 (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 (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_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 (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 (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 startsStrictlyBeforeEnds)
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 (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 createdProposalHasRoots)
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