vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-08 20:48:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

specs: fix expected struct size

Browse Source
This commit is contained in:
r4bbit
2025-02-19 17:37:22 +01:00
parent 6f199313ec
commit e3d50bf695
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
certora/specs/RewardsStreamerMP.spec
View File

@@ -31,19 +31,19 @@ hook Sstore vaultData[KEY address vault].stakedBalance uint256 newValue (uint256
function getVaultMaxMP(address vault) returns uint256 {
uint256 maxMP;
_, _, _, maxMP, _, _ = streamer.vaultData(vault);
_, _, _, maxMP, _, _, _ = streamer.vaultData(vault);
return maxMP;
}
function getVaultMPAccrued(address vault) returns uint256 {
uint256 vaultMPAccrued;
_, _, vaultMPAccrued, _, _, _ = streamer.vaultData(vault);
_, _, vaultMPAccrued, _, _, _, _ = streamer.vaultData(vault);
return vaultMPAccrued;
}
function getVaultLockUntil(address vault) returns uint256 {
uint256 lockUntil;
_, _, _, _, _, lockUntil = streamer.vaultData(vault);
_, _, _, _, _, lockUntil, _ = streamer.vaultData(vault);
return lockUntil;
}

2
certora/specs/shared.spec
View File

@@ -2,7 +2,7 @@ using RewardsStreamerMP as streamer;
function getVaultStakedBalance(address vault) returns uint256 {
uint256 stakedBalance;
stakedBalance, _, _, _, _, _ = streamer.vaultData(vault);
stakedBalance, _, _, _, _, _, _ = streamer.vaultData(vault);
return stakedBalance;
}