Certora #125

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (verifyVotingStrategy_unittests.conf)	4m 32s
verify (verifyGovernancePowerStrategy.conf --rule delegatePowerCompliance)	14m 8s
verify (verifyGovernancePowerStrategy.conf --rule transferPowerCompliance)	13m 25s
verify (verifyGovernancePowerStrategy.conf --rule powerlessCompliance method_reachability)	4m 31s
verify (verifyGovernance.conf --rule cancellationFeeZeroForFutureProposals null_state_variable_if...	4m 20s
verify (verifyGovernance.conf --rule no_self_representative no_representative_is_zero consecutive...	4m 58s
verify (verifyGovernance.conf --rule no_representative_is_zero_2 no_representative_of_zero)	3m 47s
verify (verifyGovernance.conf --rule state_changing_function_self_check state_variable_changing_f...	5m 20s
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...	3m 35s
verify (verifyGovernance.conf --rule at_least_single_payload_active empty_payloads_iff_uninitiali...	4m 33s
verify (verifyGovernance.conf --rule null_state_iff_uninitialized_proposal setInvariant addressSe...	6m 6s
verify (verifyGovernance.conf --rule state_changing_function_cannot_be_called_while_in_terminal_s...	2m 52s
verify (verifyGovernance.conf --rule only_valid_voting_portal_can_queue_proposal immutable_after_...	6m 38s
verify (verifyGovernance.conf --rule cannot_queue_when_voting_portal_unapproved only_owner_can_se...	6m 20s
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...	15m 56s
verify (verifyGovernance.conf --rule proposal_after_voting_portal_invalidate insufficient_proposi...	5m 33s
verify (verifyGovernance.conf --rule creator_is_not_zero creator_of_initialized_proposal_is_not_z...	1s
verify (verifyGovernance.conf --rule insufficient_proposition_power_witness_time_elapsed)	1s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_creator immutable_after_cre...	1s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_access_level immutable_afte...	1s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_payload_length immutable_af...	1s
verify (verifyGovernance.conf --rule only_state_changing_function_initiate_transitions__post_state)	1s
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...	1s
verify (verifyGovernance.conf --rule proposal_voting_duration_lt_expiration_time config_voting_du...	1s
	1h 46m 42s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Certora #125

Usage

Certora #125

Jobs

Run details

Run time