test(halmos): enable symbolic storage for the test contract

morpho-org · Sep 27, 2024 · a80998e · a80998e
1 parent 387e4b5
commit a80998e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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));