From c8b5d6ee251c0872c2ab31c9004c0d19da3f14a0 Mon Sep 17 00:00:00 2001 From: 0xRaccoon Date: Tue, 29 Oct 2024 09:59:24 -0300 Subject: [PATCH] fix: tests Signed-off-by: 0xRaccoon --- test/invariant/fuzz/handlers/HandlerAllo.t.sol | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/invariant/fuzz/handlers/HandlerAllo.t.sol b/test/invariant/fuzz/handlers/HandlerAllo.t.sol index dc229fb9..00c0f591 100644 --- a/test/invariant/fuzz/handlers/HandlerAllo.t.sol +++ b/test/invariant/fuzz/handlers/HandlerAllo.t.sol @@ -45,6 +45,12 @@ contract HandlerAllo is Setup { ) ) ); + + if (succ) { + uint256 _poolId = abi.decode(ret, (uint256)); + ghost_poolIds.push(_poolId); + ghost_poolAdmins[_poolId] = msg.sender; + } } function handler_updatePoolMetadata(uint256 _idSeed, uint256 _metadataProtocol, string calldata _data) public {