fix: prop_profileOwnerCanAlwaysCreateAPool test

Signed-off-by: 0xRaccoon <[email protected]>
allo-protocol · Oct 31, 2024 · 98964fc · 98964fc
1 parent f6465f8
commit 98964fc
Showing 1 changed file with 2 additions and 8 deletions.
diff --git 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,