Certora #126

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (verifyVotingStrategy_unittests.conf)	3m 47s
verify (verifyGovernancePowerStrategy.conf --rule delegatePowerCompliance)	15m 34s
verify (verifyGovernancePowerStrategy.conf --rule transferPowerCompliance)	11m 45s
verify (verifyGovernancePowerStrategy.conf --rule powerlessCompliance method_reachability)	3m 37s
verify (verifyGovernance.conf --rule cancellationFeeZeroForFutureProposals null_state_variable_if...	3m 28s
verify (verifyGovernance.conf --rule no_self_representative no_representative_is_zero consecutive...	5m 19s
verify (verifyGovernance.conf --rule no_representative_is_zero_2 no_representative_of_zero)	3m 58s
verify (verifyGovernance.conf --rule state_changing_function_self_check state_variable_changing_f...	5m 17s
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...	3m 30s
verify (verifyGovernance.conf --rule at_least_single_payload_active empty_payloads_iff_uninitiali...	5m 6s
verify (verifyGovernance.conf --rule null_state_iff_uninitialized_proposal setInvariant addressSe...	7m 29s
verify (verifyGovernance.conf --rule state_changing_function_cannot_be_called_while_in_terminal_s...	3m 7s
verify (verifyGovernance.conf --rule only_valid_voting_portal_can_queue_proposal immutable_after_...	6m 16s
verify (verifyGovernance.conf --rule cannot_queue_when_voting_portal_unapproved only_owner_can_se...	5m 30s
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...	18m 34s
verify (verifyGovernance.conf --rule proposal_after_voting_portal_invalidate insufficient_proposi...	5m 57s
verify (verifyGovernance.conf --rule creator_is_not_zero creator_of_initialized_proposal_is_not_z...	9m 25s
verify (verifyGovernance.conf --rule insufficient_proposition_power_witness_time_elapsed)	8m 2s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_creator immutable_after_cre...	6m 10s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_access_level immutable_afte...	4m 16s
verify (verifyGovernance.conf --rule immutable_after_creation_witness_payload_length immutable_af...	9m 35s
verify (verifyGovernance.conf --rule only_state_changing_function_initiate_transitions__post_state)	9m 35s
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...	8m 22s
verify (verifyGovernance.conf --rule proposal_voting_duration_lt_expiration_time config_voting_du...	8m 14s
	2h 51m 53s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Certora #126

Usage

Certora #126

Jobs

Run details

Run time