From 98964fcaab39877668f4b0d0cb3b02979358d4d7 Mon Sep 17 00:00:00 2001 From: 0xRaccoon Date: Wed, 30 Oct 2024 23:10:35 -0300 Subject: [PATCH] fix: prop_profileOwnerCanAlwaysCreateAPool test Signed-off-by: 0xRaccoon --- test/invariant/fuzz/properties/PropertiesAllo.t.sol | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/test/invariant/fuzz/properties/PropertiesAllo.t.sol b/test/invariant/fuzz/properties/PropertiesAllo.t.sol index 68b5feb4..1fb36ed5 100644 --- a/test/invariant/fuzz/properties/PropertiesAllo.t.sol +++ b/test/invariant/fuzz/properties/PropertiesAllo.t.sol @@ -122,13 +122,7 @@ contract PropertiesAllo is HandlersParent { ///@custom:property-id 4 ///@custom:property profile owner can always create a pool - function prop_profileOwnerCanAlwaysCreateAPool(uint256 _msgValue, uint256 _seedPoolStrategy) public { - _seedPoolStrategy = bound( - _seedPoolStrategy, - uint256(type(PoolStrategies).min) + 1, // Avoid None elt - uint256(type(PoolStrategies).max) - ); - + function prop_profileOwnerCanAlwaysCreateAPool(uint256 _msgValue) public { IRegistry.Profile memory _profile = registry.getProfileByAnchor(_ghost_anchorOf[msg.sender]); bool _isOwnerOrMember = registry.isOwnerOrMemberOfProfile(_profile.id, msg.sender); @@ -141,7 +135,7 @@ contract PropertiesAllo is HandlersParent { allo.createPool, ( _profile.id, - _strategyImplementations[PoolStrategies(_seedPoolStrategy)], + _strategyImplementations[PoolStrategies.DirectAllocation], bytes(""), address(token), 0,