Skip to content
certora-review-voting-chain

Certora #114

Sign in to view logs

Certora

Certora #114

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
51s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
1m 3s
verify (verifyLegality.conf --rule legalVote)
49s
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)
49s
verify (verifyMisc.conf)
33m 39s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
1h 26m 32s
verify (verifyPower_summary.conf --rule method_reachability)
10m 1s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
1h 40m 3s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
1h 15m 56s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...
47m 19s
verify (verifyProposal_states.conf --rule proposalImmutability)
35m 15s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
41m 46s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
39m 24s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
16m 14s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
24m 37s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...
21m 22s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
35m 51s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
25m 46s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
57m 27s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
22m 50s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
20m 57s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
35m 16s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
17m 25s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
13m 9s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
42m 21s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
49m 22s
verify (verifyVoting_and_tally.conf --rule method_reachability)
5m 31s
14h 21m 35s