From a80998eba45966881cb4ab645395b38f710f429f Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Fri, 27 Sep 2024 13:03:11 -0700
Subject: [PATCH] test(halmos): enable symbolic storage for the test contract

---
 test/halmos/HalmosTest.sol | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/halmos/HalmosTest.sol b/test/halmos/HalmosTest.sol
index 73076d2a..6a6bf8a7 100644
--- a/test/halmos/HalmosTest.sol
+++ b/test/halmos/HalmosTest.sol
@@ -57,6 +57,7 @@ contract HalmosTest is SymTest, Test {
         flashBorrower = new FlashBorrowerMock(morpho);
 
         // Enable symbolic storage
+        svm.enableSymbolicStorage(address(this));
         svm.enableSymbolicStorage(address(morpho));
         svm.enableSymbolicStorage(address(loanToken));
         svm.enableSymbolicStorage(address(collateralToken));