certora-cli 8.19.1__tar.gz → 8.19.2__tar.gz

{certora_cli-8.19.1/certora_cli.egg-info → certora_cli-8.19.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli
-Version: 8.19.1
+Version: 8.19.2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 0436a65.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 63fdea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli-8.19.2/README.md

@@ -0,0 +1 @@
+Commit 63fdea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli-8.19.1 → certora_cli-8.19.2}/certora_cli/CertoraProver/storageExtension.py

@@ -55,7 +55,11 @@ def erc7201_of_node(n: Dict[str, Any]) -> Optional[NameSpacedStorage]:
     doc = n.get("documentation")
     if doc is None or doc.get("nodeType") != "StructuredDocumentation" or typeName is None:
         return None
-    storage_location_regex = r'@custom:storage-location erc7201:([a-zA-Z.0-9]+)'
+    # ERC-7201 puts no restriction on the namespace id, and solc has already
+    # stripped the comment delimiters by the time the text reaches the AST, so the
+    # id runs to the next whitespace. A narrower character class silently cuts ids
+    # short and lands every id sharing a prefix on the same storage slot.
+    storage_location_regex = r'@custom:storage-location\s+erc7201:(\S+)'
     match = re.search(storage_location_regex, doc.get("text"))
     if match is None:
         return None
@@ -155,9 +159,11 @@ def write_harness_contract(tmp_file: Any,
 
     # Add dummy fields for each namespaced storage
     for type_name, namespace in ns_storage:
-        # Create a variable name by replacing dots with underscores and appending the hash
-        # Add a prefix to ensure the variable name is valid in Solidity (e.g., no leading digits)
-        var_name = f"ext_{namespace.replace('.', '_')}"
+        # Build a Solidity identifier from the namespace: prefix it so it cannot start
+        # with a digit, and map every character Solidity does not accept in an
+        # identifier to an underscore, the way dots have always been mapped. Ids
+        # containing e.g. a hyphen reach this point now that the tag is parsed in full.
+        var_name = f"ext_{re.sub(r'[^A-Za-z0-9_]', '_', namespace)}"
 
         # Calculate the slot using ERC-7201 formula
         # UTF-8 is the standard encoding for Ethereum and Solidity

{certora_cli-8.19.1 → certora_cli-8.19.2/certora_cli.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli
-Version: 8.19.1
+Version: 8.19.2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 0436a65.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 63fdea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli-8.19.2/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli", "tag": "8.19.2", "branch": "", "commit": "63fdea8", "timestamp": "20260907.6.57.261197", "version": "8.19.2"}

{certora_cli-8.19.1 → certora_cli-8.19.2}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli",
-    version="8.19.1",
+    version="8.19.2",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 0436a65.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 63fdea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
     long_description_content_type="text/markdown",
     url="https://pypi.org/project/certora-cli",
     packages=setuptools.find_packages(),

certora_cli-8.19.1/README.md

@@ -1 +0,0 @@
-Commit 0436a65.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli-8.19.1/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli", "tag": "8.19.1", "branch": "", "commit": "0436a65", "timestamp": "20260828.20.1.443397", "version": "8.19.1"}