certora-cli 8.17.1__tar.gz → 8.19.0__tar.gz

{certora_cli-8.17.1/certora_cli.egg-info → certora_cli-8.19.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli
-Version: 8.17.1
+Version: 8.19.0
 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 aeb463b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 2902a27.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli-8.19.0/README.md

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

{certora_cli-8.17.1 → certora_cli-8.19.0}/certora_cli/CertoraProver/certoraBuild.py

@@ -922,6 +922,16 @@ class CertoraBuildGenerator:
                     if not is_not_payable and state_mutability in ["view", "pure", "nonpayable"]:
                         is_not_payable = True  # definitely not payable
 
+                # Mirror the function-finder logic above: in the autofinder pass the instrumented AST's
+                # byte offsets are shifted, so reuse the original (non-autofinder) getter's source bytes
+                # rather than reading them off the instrumented node. SourceBytes must stay in original
+                # source coordinates. Only the first pass (no original contract) reads the AST directly.
+                if original_contract is not None:
+                    found_getter = original_contract.find_method(getter_name, solidity_type_args)
+                    getter_source_bytes = found_getter.source_bytes if found_getter is not None else None
+                else:
+                    getter_source_bytes = SourceBytes.from_ast_node(public_state_var)
+
                 funcs.append(
                     Func(
                         name=getter_name,
@@ -940,7 +950,7 @@ class CertoraBuildGenerator:
                         # according to Solidity docs, getter functions have external visibility
                         visibility="external",
                         contractName=contract_name,
-                        source_bytes=SourceBytes.from_ast_node(public_state_var),
+                        source_bytes=getter_source_bytes,
                         ast_id=None,
                         original_file=c_file,
                         location=None,
@@ -1448,7 +1458,7 @@ class CertoraBuildGenerator:
             if not self.context.strict_solc_optimizer and self.get_solc_via_ir_value(contract_file_path):
                 # The default optimizer steps (taken from libsolidity/interface/OptimiserSettings.h) but with the
                 # full inliner step removed
-                solc0_8_34_to_0_8_35 = ("dfDvulfnTUtnIfxa[r]EscLMVcul[j]Trpeulxa[r]cLvifMCTUca[r]LSsTFOtfDnca[r]"
+                solc0_8_34_to_0_8_36 = ("dfDvulfnTUtnIfxa[r]EscLMVcul[j]Trpeulxa[r]cLvifMCTUca[r]LSsTFOtfDnca[r]"
                                         "IulcscCTUtvifMx[scCTUt]TOntnfDIulvifMjmul[jul]VcTOculjmul")
                 solc0_8_26_to_0_8_33 = ("dhfoDgvulfnTUtnIfxa[r]EscLMVcul[j]Trpeulxa[r]cLCTUca[r]LSsTFOtfDnca[r]" +
                                         "IulcscCTUtx[scCTUt]TOntnfDIuljmul[jul]VcTOculjmul")
@@ -1475,7 +1485,7 @@ class CertoraBuildGenerator:
 
                 err_msg = \
                     f"Unsupported solc version {major}.{minor}.{patch} for `solc_via_ir`. " \
-                    f"Supported versions: 0.6.7 – 0.8.25.\n" \
+                    f"Supported versions: 0.6.7 – 0.8.36.\n" \
                     f"Use `solc_via_ir_map` to disable `solc_via_ir` for specific files with older compiler versions."
 
                 yul_optimizer_steps = None
@@ -1501,8 +1511,8 @@ class CertoraBuildGenerator:
                     yul_optimizer_steps = solc0_8_13_to_0_8_25
                 elif minor == 8 and 26 <= patch <= 33:
                     yul_optimizer_steps = solc0_8_26_to_0_8_33
-                elif minor == 8 and 34 <= patch <= 35:
-                    yul_optimizer_steps = solc0_8_34_to_0_8_35
+                elif minor == 8 and 34 <= patch <= 36:
+                    yul_optimizer_steps = solc0_8_34_to_0_8_36
                 assert yul_optimizer_steps is not None, \
                     'Yul Optimizer steps missing for requested Solidity version. Please contact Certora team.'
 

{certora_cli-8.17.1 → certora_cli-8.19.0/certora_cli.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli
-Version: 8.17.1
+Version: 8.19.0
 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 aeb463b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 2902a27.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

@@ -0,0 +1 @@
+{"name": "certora-cli", "tag": "8.19.0", "branch": "", "commit": "2902a27", "timestamp": "20260825.12.38.749209", "version": "8.19.0"}

{certora_cli-8.17.1 → certora_cli-8.19.0}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli",
-    version="8.17.1",
+    version="8.19.0",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit aeb463b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 2902a27.                    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.17.1/README.md

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

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

@@ -1 +0,0 @@
-{"name": "certora-cli", "tag": "8.17.1", "branch": "", "commit": "aeb463b", "timestamp": "20260710.13.13.834835", "version": "8.17.1"}