test: ensure fuzz_joinExitPool body is runnable

defi-wonderland · Jul 26, 2024 · 7aa26c5 · 7aa26c5
1 parent 5a6dedf
commit 7aa26c5
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/test/invariants/fuzz/Protocol.t.sol b/test/invariants/fuzz/Protocol.t.sol
@@ -36,15 +36,9 @@ contract FuzzProtocol is EchidnaTest {
     bmath = new BMath();
     bnum = new BNumExposed();
 
-    // max bound token is 8
-    for (uint256 i; i < 4; i++) {
-      FuzzERC20 _token = new FuzzERC20();
-      _token.initialize('', '', 18);
-      tokens.push(_token);
-    }
-
     pool = BCoWPool(address(factory.newBPool()));
 
+    // first 4 tokens bound to the finalized pool
     for (uint256 i; i < 4; i++) {
       FuzzERC20 _token = new FuzzERC20();
       _token.initialize('', '', 18);
@@ -61,6 +55,13 @@ contract FuzzProtocol is EchidnaTest {
       }
     }
 
+    // 4 other tokens to bind to pools in poolsToFinalize, since max bound token is 8
+    for (uint256 i; i < 4; i++) {
+      FuzzERC20 _token = new FuzzERC20();
+      _token.initialize('', '', 18);
+      tokens.push(_token);
+    }
+
     pool.finalize();
     ghost_bptMinted = pool.INIT_POOL_SUPPLY();
   }