add to pool-harness: getVirtualUnderlyingBalance

Certora · Sep 30, 2024 · 3e5648f · 3e5648f
1 parent 9fcfd66
commit 3e5648f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/certora/stata/harness/pool/SymbolicLendingPool.sol b/certora/stata/harness/pool/SymbolicLendingPool.sol
@@ -93,4 +93,10 @@ contract SymbolicLendingPool {
     return reserve.configuration;
   }
 
+  function getVirtualUnderlyingBalance(
+    address asset
+  ) external view virtual returns (uint128) {
+    return reserve.virtualUnderlyingBalance;
+  }
+
 }