certora-cli-alpha-master 20241217.22.6.367707__tar.gz → 20241218.10.36.56715__tar.gz

{certora_cli_alpha_master-20241217.22.6.367707/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20241218.10.36.56715}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241217.22.6.367707
+Version: 20241218.10.36.56715
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
 
-Commit 885526e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 1925879.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20241218.10.36.56715/README.md

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

{certora_cli_alpha_master-20241217.22.6.367707 → certora_cli_alpha_master-20241218.10.36.56715}/certora_cli/EVMVerifier/certoraBuild.py

@@ -1577,7 +1577,17 @@ class CertoraBuildGenerator:
             while queue:
                 pop = queue.pop(0)
                 if isinstance(pop, dict) and node_id_attrb in pop:
-                    container[int(pop[node_id_attrb])] = pop
+                    idAttr = pop[node_id_attrb]
+                    if isinstance(idAttr, int):
+                        container[int(idAttr)] = pop
+                    elif isinstance(idAttr, list) and len(idAttr) == 1 and isinstance(idAttr[0], int):
+                        # In the bug reported in https://certora.atlassian.net/browse/CERT-7643 the id field is a list
+                        # instead of a single integer - we except that the first element of the list is the actual id
+                        # and unpack it.
+                        container[int(idAttr[0])] = pop
+                    else:
+                        raise Exception(f"Unexpected type of attribute `{node_id_attrb}`, was {idAttr}, expected an integer or an int-typed list of length 1")
+
                     for key, value in pop.items():
                         if (node_type_attrb in pop and
                                 pop[node_type_attrb] == "InlineAssembly" and key == "externalReferences"):

{certora_cli_alpha_master-20241217.22.6.367707 → certora_cli_alpha_master-20241218.10.36.56715/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241217.22.6.367707
+Version: 20241218.10.36.56715
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
 
-Commit 885526e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 1925879.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20241217.22.6.367707 → certora_cli_alpha_master-20241218.10.36.56715}/setup.py

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

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

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

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