certora-cli-alpha-master 20251008.16.8.744214__tar.gz → 20251009.8.1.48108__tar.gz

{certora_cli_alpha_master-20251008.16.8.744214/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20251009.8.1.48108}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20251008.16.8.744214
+Version: 20251009.8.1.48108
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 1626feb.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 8e2524d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20251009.8.1.48108/README.md

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

{certora_cli_alpha_master-20251008.16.8.744214 → certora_cli_alpha_master-20251009.8.1.48108}/certora_cli/CertoraProver/certoraContext.py

@@ -670,10 +670,10 @@ def get_map_attribute_value(context: CertoraContext, path: Path, attr_name: str)
             for contract_name, contract_file_path in context.contract_to_file.items():
                 if fnmatch.fnmatch(contract_name, pattern):
                     # Check if this contract's file matches our target path
-                    if Path(contract_file_path) == path:
+                    if str(path).endswith(contract_file_path):
                         return entry_value
         else:  # This is a file pattern
             # Match the file pattern against the path
             if glob.globmatch(str(path), pattern, flags=glob.GLOBSTAR):
                 return entry_value
-    return None  # No match
+    raise RuntimeError(f"cannot match {attr_name} to {path} from {attr_name}_map")

{certora_cli_alpha_master-20251008.16.8.744214 → certora_cli_alpha_master-20251009.8.1.48108/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20251008.16.8.744214
+Version: 20251009.8.1.48108
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 1626feb.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 8e2524d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20251008.16.8.744214 → certora_cli_alpha_master-20251009.8.1.48108}/setup.py

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

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

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

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