certora-cli-alpha-master 20250518.14.2.661098__tar.gz → 20250519.2.7.870848__tar.gz

{certora_cli_alpha_master-20250518.14.2.661098/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250519.2.7.870848}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250518.14.2.661098
+Version: 20250519.2.7.870848
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 8882341.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 45f1619.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250519.2.7.870848/README.md

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

{certora_cli_alpha_master-20250518.14.2.661098 → certora_cli_alpha_master-20250519.2.7.870848}/certora_cli/CertoraProver/certoraBuild.py

@@ -2794,7 +2794,10 @@ class CertoraBuildGenerator:
                         continue
 
                     # Now that we have all the storage layout information, extract it once
-                    slayouts[(imported_file, def_node.get("name"))] = self.extract_slayout(imported_file, ns_storage)
+                    slayouts[key] = self.extract_slayout(imported_file, ns_storage)
+
+        if self.context.test == str(Util.TestValue.STORAGE_EXTENSION_LAYOUT):
+            raise Util.TestResultsReady(slayouts)
 
         if not slayouts:
             # No contracts with namespaced storage found

{certora_cli_alpha_master-20250518.14.2.661098 → certora_cli_alpha_master-20250519.2.7.870848}/certora_cli/Shared/certoraUtils.py

@@ -1277,6 +1277,7 @@ class TestValue(NoValEnum):
     AFTER_RULE_SPLIT = auto()
     SOLANA_BUILD_CMD = auto()
     CHECK_ZIP = auto()
+    STORAGE_EXTENSION_LAYOUT = auto()
 
 class FeValue(NoValEnum):
     PRODUCTION = auto()

{certora_cli_alpha_master-20250518.14.2.661098 → certora_cli_alpha_master-20250519.2.7.870848/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250518.14.2.661098
+Version: 20250519.2.7.870848
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 8882341.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 45f1619.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250519.2.7.870848/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "45f1619", "timestamp": "20250519.2.7.870848", "version": "20250519.2.7.870848+45f1619"}

{certora_cli_alpha_master-20250518.14.2.661098 → certora_cli_alpha_master-20250519.2.7.870848}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250518.14.2.661098",
+    version="20250519.2.7.870848",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 8882341.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 45f1619.                    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-alpha-master",
     packages=setuptools.find_packages(),

certora_cli_alpha_master-20250518.14.2.661098/README.md

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

certora_cli_alpha_master-20250518.14.2.661098/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "8882341", "timestamp": "20250518.14.2.661098", "version": "20250518.14.2.661098+8882341"}