Skip to content
formal verification

ERC-7540: Asynchronous ERC-4626 Tokenized Vaults #5952

Sign in to view logs

ERC-7540: Asynchronous ERC-4626 Tokenized Vaults

ERC-7540: Asynchronous ERC-4626 Tokenized Vaults #5952

Triggered via pull request January 31, 2025 13:16
@DeeJayEllyDeeJayElly
synchronize #5457
DeeJayElly:feat/ERC-7540
Status Success
Total duration 1m 7s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
50s
halmos
Fit to window
Zoom out
Zoom in