Skip to content
certora-review-voting-chain

Certora #124

Sign in to view logs

Certora

Certora #124

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
8m 41s
verify (verifyLegality.conf --rule votedPowerIsImmutable)
8m 43s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
7m 58s
verify (verifyLegality.conf --rule legalVote)
6m 52s
verify (verifyLegality.conf --rule method_reachability)
8m 27s
verify (verifyMisc.conf)
59m 48s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
6m 35s
verify (verifyPower_summary.conf --rule method_reachability)
7m 14s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
5m 50s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
8m 39s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
7m 16s
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
5m 1s
verify (verifyProposal_config.conf --rule method_reachability)
5m 52s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
9m 50s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
7m 32s
verify (verifyProposal_states.conf --rule proposalLegalStates)
5m 25s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
7m 51s
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
5m 52s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
10m 17s
verify (verifyProposal_states.conf --rule proposalImmutability)
12m 24s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
9m 5s
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
10m 53s
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
10m 56s
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
11m 33s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
9m 4s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
8m 3s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
18m 26s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
9m 17s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
17m 40s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
12m 4s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
8m 59s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
37m 20s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
41m 13s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
32m 1s
verify (verifyVoting_and_tally.conf --rule method_reachability)
7m 3s
7h 29m 44s