Skip to content

Commit

Permalink
test[invariant]: adjust test.
Browse files Browse the repository at this point in the history
  • Loading branch information
clement-ux committed Oct 9, 2024
1 parent 1901361 commit 3e9d7ce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/invariants/handlers/OwnerHandler.sol
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ contract OwnerHandler is BaseHandler {
uint256 currentPrice = arm.crossPrice();
uint256 newCrossPrice = _bound(_seed, priceScale - arm.MAX_CROSS_PRICE_DEVIATION(), priceScale);

if (newCrossPrice < currentPrice && weth.balanceOf(address(arm)) >= MIN_TOTAL_SUPPLY) {
if (newCrossPrice < currentPrice && steth.balanceOf(address(arm)) >= MIN_TOTAL_SUPPLY) {
console.log("OwnerHandler.setCrossPrice() - Skipping price decrease");
numberOfCalls["ownerHandler.setCrossPrice.skip"]++;
return;
Expand Down

0 comments on commit 3e9d7ce

Please sign in to comment.