logos-storage/logos-storage-contracts-eth
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-contracts-eth.git synced 2026-01-02 13:23:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Another mutation: freezeFunds when already withdrawing

Browse Source
This commit is contained in:
Jochen Hoenicke 2025-08-01 18:30:26 +02:00
parent 7c2e9e68fc
commit a7d0332a58
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
certora/mutations/039_freezeFunds_when_withdrawing.patch Normal file
View File

@ -0,0 +1,13 @@
diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
index be21481..04e914f 100644
--- a/contracts/vault/VaultBase.sol
+++ b/contracts/vault/VaultBase.sol
@@ -237,7 +237,7 @@ abstract contract VaultBase {
function _freezeFund(Controller controller, FundId fundId) internal {
Fund storage fund = _funds[controller][fundId];
- require(fund.status() == FundStatus.Locked, VaultFundNotLocked());
+ require(fund.status() == FundStatus.Locked || fund.status() == FundStatus.Withdrawing, VaultFundNotLocked());
fund.frozenAt = Timestamps.currentTime();
}

1
certora/mutations/VaultBase/039_freezeFunds_when_withdrawing.patch Symbolic link
View File

@ -0,0 +1 @@
../039_freezeFunds_when_withdrawing.patch