Skip to content
certora-review-voting-chain

certora-review-voting-chain #111

Sign in to view logs

certora-review-voting-chain

certora-review-voting-chain #111

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
9m 3s
verify (verifyLegality.conf --rule votedPowerIsImmutable)
9m 44s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
10m 49s
verify (verifyLegality.conf --rule legalVote)
6m 38s
verify (verifyLegality.conf --rule method_reachability)
8m 7s
verify (verifyMisc.conf)
34m 35s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
18m 47s
verify (verifyPower_summary.conf --rule method_reachability)
19m 24s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
9m 42s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
16m 6s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
7m 46s
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
4m 29s
verify (verifyProposal_config.conf --rule method_reachability)
8m 29s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
13m 30s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
9m 23s
verify (verifyProposal_states.conf --rule proposalLegalStates)
5m 16s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
8m 0s
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
4m 10s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
7m 1s
verify (verifyProposal_states.conf --rule proposalImmutability)
7m 20s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
8m 33s
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
12m 51s
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
7m 41s
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
9m 39s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
8m 17s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
9m 33s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
19m 26s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
9m 21s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
19m 28s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
10m 14s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
7m 20s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
10m 59s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
11m 15s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
20m 9s
verify (verifyVoting_and_tally.conf --rule method_reachability)
9m 36s
6h 32m 41s