Skip to content
Back to pull request #27

Try 7.20.3 #118

Sign in to view logs

Try 7.20.3

Try 7.20.3 #118

Triggered via pull request November 26, 2024 14:07
@nisnislevinisnislevi
opened #27
try-7.20.3
Status Failure
Total duration 24m 58s
Artifacts –

certora-review-mainnet.yml

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

Annotations

12 errors
verify (verifyVotingStrategy_unittests.conf)
Process completed with exit code 1.
verify (verifyGovernance.conf --rule no_representative_is_zero_2 no_representative_of_zero empty_...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule cancellationFeeZeroForFutureProposals null_state_variable_if...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule insufficient_proposition_power_allow_time_elapse insufficien...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule cannot_queue_when_voting_portal_unapproved only_owner_can_se...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule at_least_single_payload_active at_least_single_payload_activ...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule null_state_iff_uninitialized_proposal null_state_variable_if...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule null_state_only_if_uninitialized_proposal pre_state state_ch...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule no_self_representative no_representative_is_zero consecutiv...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule post_state state_changing_function_self_check state_variable...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule only_valid_voting_portal_can_queue_proposal immutable_after_...
Process completed with exit code 1.
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...
Process completed with exit code 1.