Skip to content
formal verification

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

Sign in to view logs

ERC-7540: Asynchronous ERC-4626 Tokenized Vaults

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

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

formal-verification.yml

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