chore(certora): add invariant that totalSent is <= totalReceived #972
0x-r4bbitAnnotations
4 errors
|
formatting
unable to access 'https://github.com/codex-storage/codex-contracts-eth/': Failed to connect to github.com port 443 after 134301 ms: Connection timed out
|
|
formatting
unable to access 'https://github.com/codex-storage/codex-contracts-eth/': Failed to connect to github.com port 443 after 133339 ms: Connection timed out
|
|
verify
Canceling since a higher priority waiting request for 'CI-refs/heads/certora-totalsent-le-totalreceived' exists
|
|
verify
The operation was canceled.
|