From 4dff946866e35be06cd62da0fa218c444b0c30f4 Mon Sep 17 00:00:00 2001
From: Jochen Hoenicke <hoenicke@gmail.com>
Date: Fri, 1 Aug 2025 18:10:33 +0200
Subject: [PATCH] New mutation for extendLock

---
 certora/mutations/038_extendLock_beyond_max.patch    | 12 ++++++++++++
 .../VaultBase/038_extendLock_beyond_max.patch        |  1 +
 2 files changed, 13 insertions(+)
 create mode 100644 certora/mutations/038_extendLock_beyond_max.patch
 create mode 120000 certora/mutations/VaultBase/038_extendLock_beyond_max.patch

diff --git a/certora/mutations/038_extendLock_beyond_max.patch b/certora/mutations/038_extendLock_beyond_max.patch
new file mode 100644
index 0000000..f05200d
--- /dev/null
+++ b/certora/mutations/038_extendLock_beyond_max.patch
@@ -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;
+   }
+ 
diff --git a/certora/mutations/VaultBase/038_extendLock_beyond_max.patch b/certora/mutations/VaultBase/038_extendLock_beyond_max.patch
new file mode 120000
index 0000000..84d4511
--- /dev/null
+++ b/certora/mutations/VaultBase/038_extendLock_beyond_max.patch
@@ -0,0 +1 @@
+../038_extendLock_beyond_max.patch
\ No newline at end of file