Skip to content
certora-review-execution-chain

Try 7.20.3 #110

Sign in to view logs

Try 7.20.3

Try 7.20.3 #110

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

certora-review-execution-chain.yml

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

Annotations

13 errors
verify (verifyPayloadsController.conf --rule zero_executedAt_if_not_executed)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule executor_of_maximumAccessLevelRequired_exists)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule null_access_level_iff_state_is_none)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule payload_delay_within_range)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule delay_of_executor_of_max_access_level_within_range)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule nonempty_actions)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule payload_maximal_access_level_gt_action_access_level ...
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule executor_exists_iff_action_not_null)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule executor_exists_if_action_not_null)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule executor_exists_only_if_action_not_null)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule action_callData_immutable)
Process completed with exit code 1.
verify (verifyPayloadsController.conf --rule action_signature_immutable)
Process completed with exit code 1.