test: fix invariant test assertion

Signed-off-by: 0xRaccoon <[email protected]>
allo-protocol · Oct 29, 2024 · eb5636b · eb5636b
1 parent 517a9a3
commit eb5636b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/invariant/fuzz/properties/PropertiesAllo.t.sol b/test/invariant/fuzz/properties/PropertiesAllo.t.sol
@@ -224,7 +224,7 @@ contract PropertiesAllo is HandlersParent {
             assertEq(_pool.metadata.pointer, _metadata.pointer, "property-id 13: updatePoolMetadata pointer failed");
         } else {
             assertTrue(
-                (_isManager(msg.sender, _poolId) && msg.sender != _admin) || _usingAnchor,
+                (!_isManager(msg.sender, _poolId) && msg.sender != _admin) || _usingAnchor,
                 "property-id 13: updatePoolMetadata failed"
             );
         }