Skip to content
certora-review-voting-chain

Certora #125

Sign in to view logs

Certora

Certora #125

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
10m 57s
verify (verifyLegality.conf --rule votedPowerIsImmutable)
11m 29s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
12m 22s
verify (verifyLegality.conf --rule legalVote)
10m 16s
verify (verifyLegality.conf --rule method_reachability)
10m 39s
verify (verifyMisc.conf)
1h 3m 13s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
10m 11s
verify (verifyPower_summary.conf --rule method_reachability)
10m 46s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
11m 15s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
11m 52s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
11m 44s
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
9m 55s
verify (verifyProposal_config.conf --rule method_reachability)
11m 41s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
11m 57s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
11m 58s
verify (verifyProposal_states.conf --rule proposalLegalStates)
10m 16s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
8m 54s
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
6m 9s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
8m 5s
verify (verifyProposal_states.conf --rule proposalImmutability)
10m 16s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
9m 11s
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
10m 47s
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
6m 27s
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
6m 33s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
8m 22s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
7m 8s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
14m 27s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
7m 28s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
13m 9s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
7m 55s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
7m 49s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
51m 18s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
50m 29s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
30m 3s
verify (verifyVoting_and_tally.conf --rule method_reachability)
6m 17s
8h 21m 18s