Skip to content
certora-stata

fix: update aave-cli to resolve eMode bug in json report (#79) #55

Sign in to view logs

fix: update aave-cli to resolve eMode bug in json report (#79)

fix: update aave-cli to resolve eMode bug in json report (#79) #55

verify (verifyStataToken.conf --rule solvency_positive_total_supply_only_if_positive_asset)

verify (verifyStataToken.conf --rule solvency_positive_total_supply_only_if_positive_asset)
succeeded Nov 21, 2024 in 13m 5s