chore: upd directMint test

Certora · Dec 24, 2024 · ca12f63 · ca12f63
1 parent a3ff6f5
commit ca12f63
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/contracts/src/v0.8/ccip/test/pools/GHO/GhoTokenPoolRemote.t.sol b/contracts/src/v0.8/ccip/test/pools/GHO/GhoTokenPoolRemote.t.sol
@@ -503,15 +503,16 @@ contract GhoTokenPoolRemote_directMint is GhoTokenPoolRemoteSetup {
   function testFuzzDirectMintSuccess(uint256 amount) public {
     amount = bound(amount, 1, type(uint128).max); // current pool capacity
 
-    address oldFacilitator = makeAddr("oldFacilitator");
+    address oldTokePool = makeAddr("oldTokePool");
 
     changePrank(AAVE_DAO);
     vm.expectEmit(address(s_burnMintERC677));
-    emit Transfer(address(0), oldFacilitator, amount);
-    s_pool.directMint(oldFacilitator, amount);
+    emit Transfer(address(0), oldTokePool, amount);
+    s_pool.directMint(oldTokePool, amount);
 
-    assertEq(s_burnMintERC677.balanceOf(oldFacilitator), amount);
+    assertEq(s_burnMintERC677.balanceOf(oldTokePool), amount);
     assertEq(s_burnMintERC677.balanceOf(address(s_pool)), 0);
+    assertEq(GhoToken(address(s_burnMintERC677)).getFacilitator(address(s_pool)).bucketLevel, amount);
   }
 
   // Reverts