Skip to content
certora

fix: ccip spec correct function args #87

Sign in to view logs

fix: ccip spec correct function args

fix: ccip spec correct function args #87

Triggered via push November 2, 2024 06:56
@DhairyaSethiDhairyaSethi
pushed fade2e6
feat/1_5_token_pool
Status Cancelled
Total duration 1m 36s
Artifacts –

certora.yml

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

Annotations

2 errors
verify (ccip.conf)
The run was canceled by @DhairyaSethi.
verify (ccip.conf)
The operation was canceled.