Add missing bound in StorageSetup

runtimeverification · Aug 6, 2024 · 3bfceaf · 3bfceaf
1 parent ad10520
commit 3bfceaf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/kontrol/StorageSetup.sol b/test/kontrol/StorageSetup.sol
@@ -28,6 +28,7 @@ contract StorageSetup is KontrolTest {
         // Slot 2
         uint256 shares = kevm.freshUInt(32);
         vm.assume(shares < totalShares);
+        vm.assume(shares < ethUpperBound);
         _stEth.setShares(address(_escrow), shares);
     }