Skip to content
Back to pull request #52

Fixed vm.assume for user address for the Pool Deficit tests #71

Sign in to view logs

Fixed vm.assume for user address for the Pool Deficit tests

Fixed vm.assume for user address for the Pool Deficit tests #71

verify (verifyERC4626Extended.conf --rule redeemATokensSum)

verify (verifyERC4626Extended.conf --rule redeemATokensSum)
succeeded Feb 24, 2025 in 16m 34s