Skip to content
certora-review-voting-chain

Try 7.20.3 new #121

Sign in to view logs

Try 7.20.3 new

Try 7.20.3 new #121

Run time

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