formal verification

Specify inflation note scenarios for ERC4626 #5028

Sign in to view logs

Triggered via pull request October 10, 2024 00:10

cairoeth

labeled #5247

cairoeth:improve-inflation-note

Status Success

Total duration 57s

Artifacts –

formal-verification.yml

on: pull_request