test(pool-facet-handler): deted hard params for redeemDollar

ubiquity · Sep 2, 2024 · dfff4f3 · dfff4f3
1 parent 26abd14
commit dfff4f3
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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
+        );
     }
 }