Skip to content
certora-review-voting-chain

Try 7.20.3 new #120

Sign in to view logs

Try 7.20.3 new

Try 7.20.3 new #120

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
1m 23s
verify (verifyLegality.conf --rule votedPowerIsImmutable)
54s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
1m 3s
verify (verifyLegality.conf --rule legalVote)
1m 2s
verify (verifyLegality.conf --rule method_reachability)
1m 23s
verify (verifyMisc.conf)
1m 33s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
51s
verify (verifyPower_summary.conf --rule method_reachability)
55s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
1m 27s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
50s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
1m 1s
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
1m 22s
verify (verifyProposal_config.conf --rule method_reachability)
1m 25s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
1m 3s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
49s
verify (verifyProposal_states.conf --rule proposalLegalStates)
54s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
57s
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
1m 24s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
49s
verify (verifyProposal_states.conf --rule proposalImmutability)
50s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
46s
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
1m 3s
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
49s
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
55s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
1m 4s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
1m 4s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
1m 37s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
51s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
49s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
1m 29s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
1m 27s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
49s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
1m 23s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
1m 7s
verify (verifyVoting_and_tally.conf --rule method_reachability)
1m 6s
38m 14s