From bda1fc558d5a55623f0934a170adf2a9c4b3fdbb Mon Sep 17 00:00:00 2001
From: Nissan Levi <124057587+nisnislevi@users.noreply.github.com>
Date: Tue, 1 Oct 2024 09:59:50 +0300
Subject: [PATCH] fix: certora ci fix

---
 certora/stata/harness/pool/SymbolicLendingPool.sol | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/certora/stata/harness/pool/SymbolicLendingPool.sol b/certora/stata/harness/pool/SymbolicLendingPool.sol
index e9df7cc6..1ee040f9 100644
--- a/certora/stata/harness/pool/SymbolicLendingPool.sol
+++ b/certora/stata/harness/pool/SymbolicLendingPool.sol
@@ -86,4 +86,17 @@ contract SymbolicLendingPool {
   ) external view returns (DataTypes.ReserveData memory) {
     return reserve;
   }
+
+  function getConfiguration(
+    address asset
+  ) external view virtual returns (DataTypes.ReserveConfigurationMap memory) {
+    return reserve.configuration;
+  }
+
+  function getVirtualUnderlyingBalance(
+    address asset
+  ) external view virtual returns (uint128) {
+    return reserve.virtualUnderlyingBalance;
+  }
+
 }