test: add storage slot invariant test

LouisTsai-Csie · Jan 10, 2024 · c66f07e · c66f07e
1 parent 3109592
commit c66f07e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/lendmixer/test/library/slot.t.sol b/lendmixer/test/library/slot.t.sol
@@ -33,6 +33,16 @@ contract SlotTest is Test {
         assertEq(value2, address(0x02));
         assertEq(value3, address(0x03));
     }
+
+    function testFuzzGetAddressSlot(address key, address value) public {
+        storageLayout.addValue(key, value);
+
+        bytes32 slot = keccak256(abi.encode(key, 0));
+
+        address slotValue = storageLayout.getValue(slot);
+
+        assertEq(slotValue, value);
+    }
 }
 
 contract StorageLayout {