Merge pull request #41 from symbioticfi/minor

Docs: certora - clarify "unpredictable create2 address creation"
symbioticfi · Sep 23, 2024 · 327bf64 · 327bf64
2 parents 1e391f3 + bd0fbda
commit 327bf64
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/interfaces/common/IFactory.sol b/src/interfaces/common/IFactory.sol
@@ -71,7 +71,8 @@ interface IFactory is IRegistry {
      * @param data initial data for the entity creation
      * @return address of the entity
      * @dev CREATE2 salt is constructed from the given parameters.
-     *      However, the real parameters may differ if initialized later.
+     *      However, the real parameters may differ if initialized later
+     *      (not necessarily by the creator if there is no initialization during the creation's transaction).
      */
     function create(uint64 type_, bool withInitialize, bytes calldata data) external returns (address);
 }
diff --git a/src/interfaces/common/IMigratablesFactory.sol b/src/interfaces/common/IMigratablesFactory.sol
@@ -83,7 +83,8 @@ interface IMigratablesFactory is IRegistry {
      * @param data initial data for the entity creation
      * @return address of the entity
      * @dev CREATE2 salt is constructed from the given parameters.
-     *      However, the real parameters may differ if initialized later.
+     *      However, the real parameters may differ if initialized later
+     *      (not necessarily by the creator if there is no initialization during the creation's transaction).
      */
     function create(
         uint64 version,