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 zero_executedAt_if_not_executed)

verify (verifyPayloadsController.conf --rule zero_executedAt_if_not_executed)
failed Nov 26, 2024 in 2m 44s