Skip to content
certora-review-execution-chain

Certora #108

Sign in to view logs

Certora

Certora #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyPayloadsController.conf --rule payload_maximal_access_level_gt_action_access_level ...
22m 51s
verify (verifyPayloadsController.conf --rule executor_exists_if_action_not_null)
1h 1m 14s
verify (verifyPayloadsController.conf --rule executor_exists_only_if_action_not_null)
1h 4m 42s
verify (verifyPayloadsController.conf --rule payload_delay_within_range)
57m 22s
verify (verifyPayloadsController.conf --rule delay_of_executor_of_max_access_level_within_range)
49m 15s
verify (verifyPayloadsController.conf --rule nonempty_actions)
49m 18s
verify (verifyPayloadsController.conf --rule executor_exists_iff_action_not_null)
1h 3m 20s
verify (verifyPayloadsController.conf --rule null_access_level_iff_state_is_none)
6m 26s
verify (verifyPayloadsController.conf --rule executor_of_maximumAccessLevelRequired_exists)
7m 18s
verify (verifyPayloadsController.conf --rule executor_of_maximumAccessLevelRequired_exists_after_...
21m 22s
verify (verifyPayloadsController.conf --rule action_access_level_isnt_null_after_createPayload)
6m 20s
verify (verifyPayloadsController.conf --rule executor_exists_after_createPayload)
24m 56s
verify (verifyPayloadsController.conf --rule action_callData_immutable)
1h 13m 47s
verify (verifyPayloadsController.conf --rule action_signature_immutable)
1h 7m 46s
verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)
1h 9m 1s
verify (verifyPayloadsController.conf --rule zero_executedAt_if_not_executed)
6m 26s
verify (verifyPayloadsController.conf --rule executor_isnt_used_twice executor_of_level_null_is_z...
2m 21s
verify (verifyPayloadsController.conf --rule executed_after_queue_state_variable zero_executedAt_...
2m 34s
verify (verifyPayloadsController.conf --rule queuedAt_is_zero_before_queued_state_variable execut...
2m 59s
verify (verifyPayloadsController.conf --rule executedAt_is_zero_before_executed)
7m 35s
verify (verifyPayloadsController.conf --rule executed_when_in_queued_state executed_when_in_queue...
4m 5s
verify (verifyPayloadsController.conf --rule checkUpdateExecutors checkUpdateExecutors_witness_1 ...
2m 20s
verify (verifyPayloadsController.conf --rule payload_state_transition_post_state payload_state_tr...
2m 51s
11h 16m 9s