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

New mutation for extendLock

Browse Source
This commit is contained in:
Jochen Hoenicke 2025-08-01 18:10:33 +02:00
parent ff6b69caed
commit 4dff946866
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
certora/mutations/038_extendLock_beyond_max.patch Normal file
View File

@ -0,0 +1,12 @@
diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
index be21481..e461233 100644
--- a/contracts/vault/VaultBase.sol
+++ b/contracts/vault/VaultBase.sol
@@ -117,7 +117,6 @@ abstract contract VaultBase {
require(fund.status() == FundStatus.Locked, VaultFundNotLocked());
require(fund.lockExpiry <= expiry, VaultInvalidExpiry());
fund.lockExpiry = expiry;
- _checkLockInvariant(fund);
_funds[controller][fundId] = fund;
}

1
certora/mutations/VaultBase/038_extendLock_beyond_max.patch Symbolic link
View File

@ -0,0 +1 @@
../038_extendLock_beyond_max.patch