From 1c0b645d70cd82b54a90bcb73435ef77f3f4bc21 Mon Sep 17 00:00:00 2001 From: Matthias Seitz Date: Thu, 8 Sep 2022 19:50:10 +0200 Subject: [PATCH] chore: update invariant signatures --- .gas-snapshot | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.gas-snapshot b/.gas-snapshot index f4f4fff4..ce6d1ae4 100644 --- a/.gas-snapshot +++ b/.gas-snapshot @@ -115,8 +115,8 @@ ERC1155Test:testSafeTransferFromToEOA() (gas: 93167) ERC1155Test:testSafeTransferFromToEOA(uint256,uint256,bytes,uint256,address,bytes) (runs: 256, μ: 93478, ~: 97450) ERC1155Test:testSafeTransferFromToERC1155Recipient() (gas: 739583) ERC1155Test:testSafeTransferFromToERC1155Recipient(uint256,uint256,bytes,uint256,bytes) (runs: 256, μ: 769591, ~: 765729) -ERC20Invariants:invariantBalanceSum (runs: 256, calls: 3840, reverts: 2388) -ERC20Test:invariantMetadata (runs: 256, calls: 3840, reverts: 2606) +ERC20Invariants:invariantBalanceSum() (runs: 256, calls: 3840, reverts: 2388) +ERC20Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2606) ERC20Test:testApprove() (gas: 31058) ERC20Test:testApprove(address,uint256) (runs: 256, μ: 30424, ~: 31280) ERC20Test:testBurn() (gas: 56970) @@ -146,7 +146,7 @@ ERC20Test:testTransfer() (gas: 60272) ERC20Test:testTransfer(address,uint256) (runs: 256, μ: 58773, ~: 60484) ERC20Test:testTransferFrom() (gas: 83777) ERC20Test:testTransferFrom(address,uint256,uint256) (runs: 256, μ: 86464, ~: 92841) -ERC4626Test:invariantMetadata (runs: 256, calls: 3840, reverts: 2881) +ERC4626Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2881) ERC4626Test:testFailDepositWithNoApproval() (gas: 13357) ERC4626Test:testFailDepositWithNotEnoughApproval() (gas: 86993) ERC4626Test:testFailDepositZero() (gas: 7780) @@ -163,7 +163,7 @@ ERC4626Test:testSingleDepositWithdraw(uint128) (runs: 256, μ: 201569, ~: 201579 ERC4626Test:testSingleMintRedeem(uint128) (runs: 256, μ: 201484, ~: 201494) ERC4626Test:testVaultInteractionsForSomeoneElse() (gas: 286247) ERC4626Test:testWithdrawZero() (gas: 52462) -ERC721Test:invariantMetadata (runs: 256, calls: 3840, reverts: 2170) +ERC721Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2170) ERC721Test:testApprove() (gas: 78427) ERC721Test:testApprove(address,uint256) (runs: 256, μ: 78637, ~: 78637) ERC721Test:testApproveAll() (gas: 31063) @@ -306,7 +306,7 @@ OwnedTest:testCallFunctionAsNonOwner(address) (runs: 256, μ: 16238, ~: 16257) OwnedTest:testCallFunctionAsOwner() (gas: 10479) OwnedTest:testSetOwner() (gas: 13035) OwnedTest:testSetOwner(address) (runs: 256, μ: 13151, ~: 13170) -ReentrancyGuardTest:invariantReentrancyStatusAlways1 (runs: 256, calls: 3840, reverts: 319) +ReentrancyGuardTest:invariantReentrancyStatusAlways1() (runs: 256, calls: 3840, reverts: 319) ReentrancyGuardTest:testFailUnprotectedCall() (gas: 46147) ReentrancyGuardTest:testNoReentrancy() (gas: 7515) ReentrancyGuardTest:testProtectedCall() (gas: 33467) @@ -442,7 +442,7 @@ SignedWadMathTest:testFailWadDivZeroDenominator(int256) (runs: 256, μ: 296, ~: SignedWadMathTest:testFailWadMulOverflow(int256,int256) (runs: 256, μ: 323, ~: 296) SignedWadMathTest:testWadDiv(uint256,uint256,bool,bool) (runs: 256, μ: 5696, ~: 5664) SignedWadMathTest:testWadMul(uint256,uint256,bool,bool) (runs: 256, μ: 5720, ~: 5688) -WETHInvariants:invariantTotalSupplyEqualsBalance (runs: 256, calls: 3840, reverts: 1908) +WETHInvariants:invariantTotalSupplyEqualsBalance() (runs: 256, calls: 3840, reverts: 1908) WETHTest:testDeposit() (gas: 63535) WETHTest:testDeposit(uint256) (runs: 256, μ: 62792, ~: 65880) WETHTest:testFallbackDeposit() (gas: 63249)