Skip to content
certora-review-voting-chain

Certora #105

Sign in to view logs

Certora

Certora #105

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
1m 28s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
52s
verify (verifyLegality.conf --rule legalVote)
1m 37s
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)
58s
verify (verifyMisc.conf)
1h 9m 13s
verify (verifyPower_summary.conf --rule onlyThreeTokens)
1h 29m 35s
verify (verifyPower_summary.conf --rule method_reachability)
6m 46s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
2h 1m 47s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
1h 4m 34s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...
1h 4m 45s
verify (verifyProposal_states.conf --rule proposalImmutability)
1h 16m 59s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
51m 35s
verify (verifyProposal_states.conf --rule startsBeforeEnds)
40m 4s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
24m 12s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
22m 47s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...
1h 3m 26s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
56m 47s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...
47m 56s
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
1h 4m 39s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
41m 50s
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
36m 9s
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
1h 11m 51s
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
32m 16s
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
20m 33s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepr...
59m 20s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_...
45m 21s
verify (verifyVoting_and_tally.conf --rule method_reachability)
7m 23s
19h 44m 43s