fix: certora ci fix

bgd-labs · Oct 1, 2024 · bda1fc5 · bda1fc5
1 parent 712f1c3
commit bda1fc5
Showing 1 changed file with 13 additions and 0 deletions.
diff --git 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;
+  }
+
 }