Change aux type in invariant handler to uint256 for futureproofness

Vectorized · May 13, 2024 · c78d1a3 · c78d1a3
1 parent 50dabaa
commit c78d1a3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.gas-snapshot b/.gas-snapshot
@@ -125,7 +125,7 @@ DN404Test:testInitialize(uint32,address) (runs: 258, μ: 111548, ~: 113120)
 DN404Test:testMintAndBurn() (gas: 346232)
 DN404Test:testMintAndBurn2() (gas: 282747)
 DN404Test:testMintNext() (gas: 704841)
-DN404Test:testMintNextContiguous(uint256) (runs: 258, μ: 571188, ~: 503944)
+DN404Test:testMintNextContiguous(uint256) (runs: 258, μ: 571319, ~: 503944)
 DN404Test:testMintOnTransfer(uint32,address) (runs: 258, μ: 289489, ~: 289489)
 DN404Test:testMixed(bytes32) (runs: 258, μ: 556282, ~: 506117)
 DN404Test:testNameAndSymbol(string,string) (runs: 258, μ: 205704, ~: 206217)

diff --git a/test/invariants/handlers/DN404Handler.sol b/test/invariants/handlers/DN404Handler.sol
@@ -37,16 +37,16 @@ contract DN404Handler is SoladyTest {
         uint256 totalNFTSupplyBefore;
         uint256 fromNFTBalanceBefore;
         uint256 toNFTBalanceBefore;
-        uint88 fromAuxBefore;
-        uint88 toAuxBefore;
+        uint256 fromAuxBefore;
+        uint256 toAuxBefore;
         uint256 fromBalanceAfter;
         uint256 toBalanceAfter;
         uint256 totalSupplyAfter;
         uint256 totalNFTSupplyAfter;
         uint256 fromNFTBalanceAfter;
         uint256 toNFTBalanceAfter;
-        uint88 fromAuxAfter;
-        uint88 toAuxAfter;
+        uint256 fromAuxAfter;
+        uint256 toAuxAfter;
     }
 
     constructor(MockDN404CustomUnit _dn404) {