EVK Vault eeUSD-4

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: asset() does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: totalAssets() does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: convertToShares gives the same result for any caller

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: convertToAssets gives the same result for any caller

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: maxDeposit does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: deposit mints at least the shares previewDeposit quoted

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 3995 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 3995 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: maxMint does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: mint pulls at most the assets previewMint quoted

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 3995 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 3995 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: maxWithdraw does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: withdraw burns at most the shares previewWithdraw quoted

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 3995 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: withdraw burns owner shares, pays the receiver and spends share allowance

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 3995 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: withdraw on behalf of an owner without allowance reverts

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4009 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: maxRedeem does not revert

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4009 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: redeem pays at least the assets previewRedeem quoted

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 3995 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: redeem burns owner shares, pays the receiver and spends share allowance

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 3995 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: redeem on behalf of an owner without allowance reverts

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: redeem(deposit(a)) returns no more than a

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: withdraw(a) burns at least the shares deposit(a) minted

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: deposit(redeem(s)) mints no more than s

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: mint(s) costs at least the assets redeem(s) paid

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: withdraw(mint(s)) burns at least s shares

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: redeem(s) pays no more than mint(s) cost

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: mint(withdraw(a)) costs at least a

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 4008 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored.

Checks: deposit(a) mints no more than the shares withdraw(a) burned

reason: `vm.assume` rejected too many inputs (4096 allowed); deposit reverted below maxDeposit 4008 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

maxDeposit was 5,192,296,858,534,827,628,530,496,329,220,095, but deposit(6,281,844,442,681,804,148) reverted with 0xea8e4eb5, NotAuthorized(). EIP-4626: maxDeposit MUST return the maximum amount of assets deposit accepts without reverting.

Checks: deposit goes through up to min(maxDeposit, 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxDeposit MUST NOT be higher than what deposit accepts)

reason: deposit(6281844442681804148) reverted with selector 0xea8e4eb5 while maxDeposit is 5192296858534827628530496329220095
runs: 0
call: test_sf_maxDeposit_honored(11297107174309809211892377277870259943554067261449759553286370912298578415, 6281844442681804148)
calldata: 0x600eccd7000664d8fe81387729cab93dc5f857bb9ba6f0a6d07d10d3b98a1ed221f3b1ef000000000000000000000000000000000000000000000000572d983cec4f8574

maxMint was 5,192,296,858,534,827,628,530,496,329,220,095, but mint(6,281,844,442,681,804,148) reverted with 0xea8e4eb5, NotAuthorized(). EIP-4626: maxMint MUST return the maximum amount of shares mint accepts without reverting.

Checks: mint goes through up to min(maxMint, shares of 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxMint MUST NOT be higher than what mint accepts)

reason: mint(6281844442681804148) reverted with selector 0xea8e4eb5 while maxMint is 5192296858534827628530496329220095
runs: 0
call: test_sf_maxMint_honored(11297107174309809211892377277870259943554067261449759553286370912298578415, 6281844442681804148)
calldata: 0xb1f65c3b000664d8fe81387729cab93dc5f857bb9ba6f0a6d07d10d3b98a1ed221f3b1ef000000000000000000000000000000000000000000000000572d983cec4f8574

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs.

Checks: withdraw goes through up to maxWithdraw; when a smaller amount is refused maxWithdraw must go through, and refusals are counted (EIP-4626: maxWithdraw MUST NOT be higher than what withdraw accepts, and MUST be 0 when withdrawals are disabled)

reason: `vm.assume` rejected too many inputs (4096 allowed)
runs: 0

Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs.

Checks: redeem goes through up to maxRedeem; when a smaller amount is refused maxRedeem must go through, and refusals are counted (EIP-4626: maxRedeem MUST NOT be higher than what redeem accepts, and MUST be 0 when redemptions are disabled)

reason: `vm.assume` rejected too many inputs (4096 allowed)
runs: 0