Skip to content
certora-review-mainnet

Certora #125

Sign in to view logs

Certora

Certora #125

Triggered via pull request December 3, 2024 16:23
@nisnislevinisnislevi
synchronize #6
certora
Status Cancelled
Total duration 21m 45s
Artifacts –

certora-review-mainnet.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 14 warnings
verify (verifyGovernance.conf --rule creator_is_not_zero creator_of_initialized_proposal_is_not_z...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule immutable_after_creation_witness_access_level immutable_afte...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule immutable_after_creation_witness_creator immutable_after_cre...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule insufficient_proposition_power_witness_time_elapsed)
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule immutable_after_creation_witness_payload_length immutable_af...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule only_state_changing_function_initiate_transitions__post_state)
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule proposal_voting_duration_lt_expiration_time config_voting_du...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...
The run was canceled by @nisnislevi.
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...
The operation was canceled.
verify (verifyGovernancePowerStrategy.conf --rule delegatePowerCompliance)
The run was canceled by @nisnislevi.
verify (verifyGovernancePowerStrategy.conf --rule delegatePowerCompliance)
The operation was canceled.
verify (verifyGovernance.conf --rule state_changing_function_cannot_be_called_while_in_terminal_s...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule no_representative_is_zero_2 no_representative_of_zero)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule check_new_representative_set_size_after_updateRepresentative...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule no_self_representative no_representative_is_zero consecutive...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule at_least_single_payload_active empty_payloads_iff_uninitiali...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule cancellationFeeZeroForFutureProposals null_state_variable_if...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule proposal_after_voting_portal_invalidate insufficient_proposi...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule state_changing_function_self_check state_variable_changing_f...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernancePowerStrategy.conf --rule powerlessCompliance method_reachability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule cannot_queue_when_voting_portal_unapproved only_owner_can_se...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyVotingStrategy_unittests.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule null_state_iff_uninitialized_proposal setInvariant addressSe...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernance.conf --rule only_valid_voting_portal_can_queue_proposal immutable_after_...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyGovernancePowerStrategy.conf --rule transferPowerCompliance)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636