From 787e15428a32cdc74e064e6ceb44eeb6295201e2 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Tue, 2 Apr 2024 17:52:14 +0200
Subject: [PATCH] fix: test fee

---
 test/forge/HalmosTest.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/forge/HalmosTest.sol b/test/forge/HalmosTest.sol
index 4a50fc2d..32923e88 100644
--- a/test/forge/HalmosTest.sol
+++ b/test/forge/HalmosTest.sol
@@ -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);
     }
 }