Skip to content

Commit

Permalink
fix: test fee
Browse files Browse the repository at this point in the history
  • Loading branch information
QGarchery committed Apr 2, 2024
1 parent b1445fa commit 787e154
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/forge/HalmosTest.sol
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,6 @@ contract HalmosTest is SymTest, Test {
(bool success,) = address(morpho).call(abi.encodePacked(selector, args));
vm.assume(success);

assert(morpho.fee(id) < MAX_FEE);
assert(morpho.fee(id) <= MAX_FEE);
}
}

0 comments on commit 787e154

Please sign in to comment.