From dfff4f314386ef0ec4d0fb6091367623823480e0 Mon Sep 17 00:00:00 2001
From: green <masllonishe@gmail.com>
Date: Mon, 2 Sep 2024 21:25:41 +0200
Subject: [PATCH] test(pool-facet-handler): deted hard params for redeemDollar

---
 .../test/invariant/diamond/facets/PoolFacetHandler.sol     | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/packages/contracts/test/invariant/diamond/facets/PoolFacetHandler.sol b/packages/contracts/test/invariant/diamond/facets/PoolFacetHandler.sol
index 9c7e94219..5745777c6 100644
--- a/packages/contracts/test/invariant/diamond/facets/PoolFacetHandler.sol
+++ b/packages/contracts/test/invariant/diamond/facets/PoolFacetHandler.sol
@@ -256,6 +256,11 @@ contract PoolFacetHandler is Test {
         vm.assume(_collateralOutMin >= 0 && _collateralOutMin <= _dollarAmount);
 
         vm.prank(user);
-        ubiquityPoolFacet.redeemDollar(0, 0.1e18, 0, 0);
+        ubiquityPoolFacet.redeemDollar(
+            0,
+            _dollarAmount,
+            _governanceOutMin,
+            _collateralOutMin
+        );
     }
 }