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

Triggered via pull request November 26, 2024 14:07
@nisnislevinisnislevi
opened #27
try-7.20.3
Status Failure
Total duration 1h 21m 2s
Artifacts –

certora-review-voting-chain.yml

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

Annotations

26 errors
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
Process completed with exit code 1.
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
Process completed with exit code 1.
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
Process completed with exit code 1.
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)
Process completed with exit code 1.
verify (verifyPower_summary.conf --rule method_reachability)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule startsBeforeEnds)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
Process completed with exit code 1.
verify (verifyLegality.conf --rule legalVote)
Process completed with exit code 1.
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
Process completed with exit code 1.
verify (verifyProposal_states.conf --rule proposalImmutability)
Process completed with exit code 1.
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
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 otherProposalUnchanged)
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 method_reachability)
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 (verifyVoting_and_tally.conf --rule otherVoterUntouched)
Process completed with exit code 1.
verify (verifyMisc.conf)
Process completed with exit code 1.