certora-cli-alpha-master 20250619.3.9.510399__tar.gz → 20250619.9.22.643691__tar.gz

{certora_cli_alpha_master-20250619.3.9.510399/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250619.9.22.643691}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250619.3.9.510399
+Version: 20250619.9.22.643691
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 9d73f82.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 16ddcce.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250619.9.22.643691/README.md

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

{certora_cli_alpha_master-20250619.3.9.510399 → certora_cli_alpha_master-20250619.9.22.643691}/certora_cli/CertoraProver/certoraBuild.py

@@ -3688,8 +3688,9 @@ def build_from_scratch(context: CertoraContext,
 
         # add to cache also source files that were found in the SDCs (e.g., storage extensions)
         paths_set = sdc.all_contract_files
-        for p in context.files:
-            paths_set.add(Path(p).absolute())
+        for f in context.files:
+            path = f.split(':')[0]  # `f` is either 'path/to/file.sol' or 'path/to/file.sol:ContractName'
+            paths_set.add(Path(path).absolute())
 
         # the contract files in SDCs are relative to .certora_sources. Which isn't good for us here.
         # Need to be relative to original paths

{certora_cli_alpha_master-20250619.3.9.510399 → certora_cli_alpha_master-20250619.9.22.643691/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250619.3.9.510399
+Version: 20250619.9.22.643691
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 9d73f82.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 16ddcce.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20250619.3.9.510399 → certora_cli_alpha_master-20250619.9.22.643691}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250619.3.9.510399",
+    version="20250619.9.22.643691",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 9d73f82.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 16ddcce.                    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-20250619.3.9.510399/README.md

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

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

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