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

Annotations

1 error

verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)

verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)
failed Nov 26, 2024 in 34m 11s