certora-cli-beta-mirror 7.28.0__py3-none-any.whl → 7.29.0__py3-none-any.whl

certora_cli/certoraRun.py

@@ -61,13 +61,6 @@ class CertoraFoundViolations(Exception):
         super().__init__(message)
         self.results = results
 
-
-class ExitException(Exception):
-    def __init__(self, message: str, exit_code: int):
-        super().__init__(message)
-        self.exit_code = exit_code  # Store the integer data
-
-
 def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]] = None,
                 prover_cmd: Optional[str] = None) -> Optional[CertoraRunResult]:
     """
@@ -133,14 +126,18 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
         rule_handler = splitRules.SplitRulesHandler(context)
         exit_code = rule_handler.generate_runs()
         CloudVerification(context).print_group_id_url()
-        raise ExitException(f"Split Rules {'succeeded' if exit_code == 0 else 'failed'}", exit_code)
+        if exit_code == 0:
+            print("Split rules succeeded")
+        else:
+            raise Util.ExitException("Split rules failed", exit_code)
 
     if Attrs.is_rust_app():
         build_rust_app(context)
 
         if context.local:
             check_cmd = Ctx.get_local_run_cmd(context)
-            print(f"Verifier run command:\n {check_cmd}", flush=True)
+            check_cmd_string = " ".join(check_cmd)
+            print(f"Verifier run command:\n {check_cmd_string}", flush=True)
 
             compare_with_tool_output = False
             run_result = Util.run_jar_cmd(check_cmd, compare_with_tool_output, logger_topic="verification",
@@ -151,7 +148,7 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
                 exit_code = 1
             else:
                 Util.print_completion_message("Finished running verifier:")
-                print(f"\t{check_cmd}")
+                print(f"\t{check_cmd_string}")
         else:
             validate_version_and_branch(context)
             context.key = Cv.validate_certora_key()
@@ -196,9 +193,10 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
                 compare_with_expected_file = Path(context.expected_file).exists()
 
                 check_cmd = Ctx.get_local_run_cmd(context)
+                check_cmd_string = " ".join(check_cmd)
 
                 # In local mode, this is reserved for Certora devs, so let the script print it
-                print(f"Verifier run command:\n {' '.join(check_cmd)}", flush=True)
+                print(f"Verifier run command:\n {check_cmd_string}", flush=True)
                 run_result = \
                     Util.run_jar_cmd(check_cmd, compare_with_expected_file,
                                      logger_topic="verification", print_output=True)
@@ -209,7 +207,7 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
                     exit_code = run_result
                 else:
                     Util.print_completion_message("Finished running verifier:")
-                    print(f"\t{check_cmd}")
+                    print(f"\t{check_cmd_string}")
                     if compare_with_expected_file:
                         print("Comparing tool output to the expected output:")
                         output_path = (context.tool_output if context.tool_output else
@@ -309,7 +307,7 @@ def entry_point() -> None:
         Console().print(f"[bold red]\n{e}\n")
         sys.exit(1)
 
-    except ExitException as e:
+    except Util.ExitException as e:
         Console().print(f"[bold red]{e}")
         sys.exit(e.exit_code)
 

certora_cli/certoraSolanaProver.py

@@ -114,6 +114,13 @@ def run_solana_prover(args: List[str]) -> Optional[CertoraRunResult]:
 
         if context.local:
             check_cmd = Ctx.get_local_run_cmd(context)
+            if context.solana_summaries:
+                check_cmd.append("-solanaSummaries")
+                check_cmd.append(','.join(context.solana_summaries))
+            if context.solana_inlining:
+                check_cmd.append("-solanaInlining")
+                check_cmd.append(','.join(context.solana_inlining))
+
             print(f"Verifier run command:\n {check_cmd}", flush=True)
 
             compare_with_tool_output = False

certora_cli/certoraSorobanProver.py

@@ -16,21 +16,270 @@
 
 
 import sys
+import time
+import logging
 from pathlib import Path
+from rich.console import Console
 
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
+from Shared.certoraLogging import LoggingManager
+from Shared import certoraUtils as Util
+from typing import List, Optional, Tuple, Dict
+
+import CertoraProver.certoraContext as Ctx
 import CertoraProver.certoraContextAttributes as Attrs
-from certoraRun import run_certora, CertoraRunResult
-from typing import List, Optional
+from CertoraProver import certoraContextValidator as Cv
+from CertoraProver.certoraContextClass import CertoraContext
+from CertoraProver.certoraCollectRunMetadata import collect_run_metadata
+from CertoraProver.certoraCollectConfigurationLayout import collect_configuration_layout
+from CertoraProver.certoraBuildRust import build_rust_app
+from CertoraProver.certoraCloudIO import CloudVerification, validate_version_and_branch
+from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViolations
+
+
+run_logger = logging.getLogger("run")
+
+def setup_environment(args: List[str]) -> Tuple[CertoraContext, LoggingManager]:
+    """
+    Setup the environment for running the prover.
+    This includes:
+    1. Setting up the logging manager
+    2. Parsing the arguments
+    3. Setting up the context
+    """
+    Attrs.set_attribute_class(Attrs.SorobanProverAttributes)
+    non_str_els = [x for x in args if not isinstance(x, str)]
+    if non_str_els:
+        print(f"args for run_certora that are not strings: {non_str_els}")
+        exit(1)
+
+    # If we are not in debug mode, we do not want to print the traceback in case of exceptions.
+    if '--debug' not in args:  # We check manually, because we want no traceback in argument parsing exceptions
+        sys.tracebacklimit = 0
+
+    # creating the default internal dir, files may be copied to user defined build directory after
+    # parsing the input
+
+    if not ('--help' in args or '--version' in args):
+        Util.reset_certora_internal_dir()
+        Util.safe_create_dir(Util.get_build_dir())
+        logging_manager = LoggingManager()
+
+    Ctx.handle_flags_in_args(args)
+    context = Ctx.get_args(args)  # Parse arguments
+
+    assert logging_manager, "logging manager was not set"
+    logging_manager.set_log_level_and_format(is_quiet=Ctx.is_minimal_cli_output(context),
+                                             debug=context.debug,
+                                             debug_topics=context.debug_topics,
+                                             show_debug_topics=context.show_debug_topics)
+
+    return context, logging_manager
+
+
+def collect_and_validate_metadata(context: CertoraContext) -> None:
+    """
+    Collect and validate run metadata.
+
+    Args:
+        context: The Certora context containing verification settings
+
+    Raises:
+        Util.TestResultsReady: If this is a metadata test run
+    """
+    metadata = collect_run_metadata(wd=Path.cwd(), raw_args=sys.argv, context=context)
+
+    if context.test == str(Util.TestValue.CHECK_METADATA):
+        raise Util.TestResultsReady(metadata)
+
+    metadata.dump()
+
+
+def collect_and_dump(context: CertoraContext) -> None:
+    """
+    Collect and dump the configuration layout.
+
+    Args:
+        context: The Certora context containing verification settings
+
+    Raises:
+        Util.TestResultsReady: If this is a configuration layout test run
+    """
+    configuration_layout = collect_configuration_layout()
+
+    if context.test == str(Util.TestValue.CHECK_CONFIG_LAYOUT):
+        raise Util.TestResultsReady(configuration_layout)
+
+    configuration_layout.dump()
+
+
+def build_project(context: CertoraContext) -> Dict:
+    """
+    Build the Rust application.
+
+    Args:
+        context: The Certora context containing build settings
+
+    Returns:
+        Dict: Timing information for the build process
+
+    Raises:
+        Util.TestResultsReady: If this is a build test run
+    """
+    timings = {}
+    run_logger.debug("Build Soroban target")
+
+    build_start = time.perf_counter()
+    build_rust_app(context)
+    build_end = time.perf_counter()
+
+    timings["buildTime"] = round(build_end - build_start, 4)
+
+    if context.test == str(Util.TestValue.AFTER_BUILD):
+        raise Util.TestResultsReady(context)
+
+    return timings
+
+def run_local_verification(context: CertoraContext) -> int:
+    """
+    Run verification locally.
+
+    Args:
+        context: The Certora context containing verification settings
+
+    Returns:
+        int: Exit code (0 for success, non-zero for failure)
+    """
+    check_cmd = Ctx.get_local_run_cmd(context)
+    run_logger.info(f"Verifier run command:\n {check_cmd}")
+
+    run_result = Util.run_jar_cmd(
+        check_cmd, override_exit_code=False, logger_topic="verification", print_output=True
+    )
+
+    if run_result == 0:
+        Util.print_completion_message("Finished running verifier:")
+        run_logger.info(f"\t{check_cmd}")
+        return 0
+    else:
+        return 1
+
+
+def run_cloud_verification(context: CertoraContext, args: List[str],
+                           timings: dict) -> Tuple[int, Optional[CertoraRunResult]]:
+    """
+    Run verification in the cloud.
+
+    Args:
+        context: The Certora context containing verification settings
+        args: Command line arguments
+        timings: Dict containing timing information
+
+    Returns:
+        Tuple[int, Optional[CertoraRunResult]]: Exit code and result object
+    """
+    if context.compilation_steps_only:
+        return 0, CertoraRunResult(None, False, Util.get_certora_sources_dir(), None)
+
+    context.key = Cv.validate_certora_key()
+    cloud_verifier = CloudVerification(context, timings)
+
+    # Wrap strings with space with ' so it can be copied and pasted to shell
+    pretty_args = [f"'{arg}'" if ' ' in arg else arg for arg in args]
+    cl_args = ' '.join(pretty_args)
+
+    exit_code = 0
+    return_value = None
+
+    if not cloud_verifier.cli_verify_and_report(cl_args, context.wait_for_results):
+        exit_code = VIOLATIONS_EXIT_CODE
+
+    if cloud_verifier.statusUrl:
+        return_value = CertoraRunResult(
+            cloud_verifier.statusUrl, False,
+            Util.get_certora_sources_dir(), cloud_verifier.reportUrl
+        )
+
+    return exit_code, return_value
 
 
 def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
-    return run_certora(args, attrs_class=Attrs.SorobanProverAttributes)
+    """
+    The main function that is responsible for the general flow of the script.
+    The general flow is:
+    1. Parse program arguments
+    2. Run the necessary steps (build/ cloud verification/ local verification)
+    """
+
+    context, logging_manager = setup_environment(args)
+    timings = {}
+    exit_code = 0  # The exit code of the script. 0 means success, any other number is an error.
+    return_value = None
+
+    # Collect and validate metadata and configuration layout
+    collect_and_validate_metadata(context)
+    collect_and_dump(context)
+
+    # Version validation
+    if not context.local and not context.build_only and not context.compilation_steps_only:
+        """
+        The line below will raise an exception if the local version is incompatible.
+        """
+        validate_version_and_branch(context)
+
+    # Build the application
+    timings.update(build_project(context))
+
+    # Run verification if requested
+    if not context.build_only:
+
+        if context.local:
+            exit_code = run_local_verification(context)
+        else:
+            # Remove debug logger before running cloud verification
+            logging_manager.remove_debug_logger()
+            exit_code, return_value = run_cloud_verification(context, args, timings)
+
+    # Handle exit codes and return
+    if exit_code == VIOLATIONS_EXIT_CODE:
+        raise CertoraFoundViolations("violations were found", return_value)
+    if exit_code != 0:
+        raise Util.CertoraUserInputError(f"certoraSorobanProver failed (code {exit_code})")
+    return return_value
+
 
 def entry_point() -> None:
-    run_soroban_prover(sys.argv[1:])
+    """
+    This function is the entry point of the certora_cli customer-facing package, as well as this script.
+    It is important this function gets no arguments!
+    """
+    try:
+        run_soroban_prover(sys.argv[1:])
+        sys.exit(0)
+    except KeyboardInterrupt:
+        Console().print("[bold red]\nInterrupted by user")
+        sys.exit(1)
+    except CertoraFoundViolations as e:
+        try:
+            if e.results and e.results.rule_report_link:
+                print(f"report url: {e.results.rule_report_link}")
+        except Exception:
+            pass
+        Console().print("[bold red]\nViolations were found\n")
+        sys.exit(1)
+    except Util.CertoraUserInputError as e:
+        if e.orig:
+            print(f"\n{str(e.orig).strip()}")
+        if e.more_info:
+            print(f"\n{e.more_info.strip()}")
+        Console().print(f"[bold red]\n{e}\n")
+        sys.exit(1)
+    except Exception as e:
+        Console().print(f"[bold red]{e}")
+        sys.exit(1)
+
 
 if __name__ == '__main__':
     entry_point()

certora_cli_beta_mirror-7.29.0.dist-info/LICENSE

@@ -0,0 +1,15 @@
+
+The Certora Prover
+Copyright (C) 2025 Certora Ltd.
+
+This program is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, version 3 of the License.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY, without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR a PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program.  If not, see <https://www.gnu.org/licenses/>.

{certora_cli_beta_mirror-7.28.0.dist-info → certora_cli_beta_mirror-7.29.0.dist-info}/METADATA

@@ -1,12 +1,15 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.28.0
+Version: 7.29.0
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
 Author-email: support@certora.com
+License: GPL-3.0-only
+Project-URL: Documentation, https://docs.certora.com/en/latest/
+Project-URL: Source, https://github.com/Certora/CertoraProver
 Classifier: Programming Language :: Python :: 3
-Classifier: License :: OSI Approved :: MIT License
+Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
 Classifier: Operating System :: OS Independent
 Requires-Python: >=3.8
 Description-Content-Type: text/markdown
@@ -22,5 +25,16 @@ Requires-Dist: tqdm
 Requires-Dist: StrEnum
 Requires-Dist: universalmutator
 Requires-Dist: jinja2
+Dynamic: author
+Dynamic: author-email
+Dynamic: classifier
+Dynamic: description
+Dynamic: description-content-type
+Dynamic: home-page
+Dynamic: license
+Dynamic: project-url
+Dynamic: requires-dist
+Dynamic: requires-python
+Dynamic: summary
 
-Commit 489a4d6.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 3f35845.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-7.28.0.dist-info → certora_cli_beta_mirror-7.29.0.dist-info}/RECORD

@@ -3,40 +3,41 @@ certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/certoraEVMProver.py,sha256=12qxurzLtv0sS0NbHYY8yVlE0C7hvXRep2UyA0rCXyQ,1243
 certora_cli/certoraEqCheck.py,sha256=qfZq7bpU1kbAIezC66W61VfKNZz7Uywg2Ygup62qYeo,1069
 certora_cli/certoraMutate.py,sha256=XhFHyNVP_sk-3XkY6AAV5fVliEFAVRq-JeDGsqE5IQQ,3333
-certora_cli/certoraRun.py,sha256=yShug0KoLE4mdplMTFLNzY_Q8vPkEVyR_E6aXZe7_O0,13983
-certora_cli/certoraSolanaProver.py,sha256=6KbhUaEPBngPZK3rsw8ZNHSKCcdSeN48nE94xuBUIdI,7479
-certora_cli/certoraSorobanProver.py,sha256=fV_t16_ED3xom_0BEeJh2F-RIcPFdVjsQ_j-UaCCZjM,1267
+certora_cli/certoraRanger.py,sha256=dJ49hGmHkED9-3wRw14Z8qPWeCP4DYPJAqPQKi52N1U,2302
+certora_cli/certoraRun.py,sha256=IGAYmf-KiM0TJuVQQ6-KaZQQBFe0aJGnso9MpPXHL0Q,13981
+certora_cli/certoraSolanaProver.py,sha256=UjXcnauGwJLY9pdqnjwrq26kOtAJT_qIHRVFVuOxAf0,7803
+certora_cli/certoraSorobanProver.py,sha256=4PW4CxWNDArjIH3FDriFwC7ZJv0BKpeBjGuGJxtCy74,9608
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=K8KHx7OqARz3efW5QJL1t_X5LNiYQNoGlQqF3iyFLfo,205029
+certora_cli/CertoraProver/certoraBuild.py,sha256=JRZ4CrEhSPmNZTTw_vcL_kcJijKTaaB0MHj9RXBHEyM,206914
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
-certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=0kgCvJhg2d7JrVNQxWNYGhbImTNojEqa-G3pucneFKA,14552
-certora_cli/CertoraProver/certoraBuildRust.py,sha256=pxsUd5WYe_w1uwhk8uAsNMxtSzjQCQuWNNxPIZRPHvc,5218
-certora_cli/CertoraProver/certoraCloudIO.py,sha256=ovTe8twtfxgZxjOZn5to8v9e10fK0dj-roQaSQ-bZFU,54713
-certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=OPRGm8IvBns_SD6EmDuJ16BIiCG_7O80dMrBQ3WSNUA,9568
-certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=tKx56neJoHiVAsxjSHaMjVsWRM4lYJe16PgpSO-JrrM,11684
+certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
+certora_cli/CertoraProver/certoraBuildRust.py,sha256=aX2P19P3htb_-X0-CuZjjYdAd3m7UVxwFxg5r6iS2-k,6518
+certora_cli/CertoraProver/certoraCloudIO.py,sha256=FIwM6SO-f4HbWj78Z9kcVMQw0N98XhbBiOiexSWN8aw,53250
+certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=waMo5_nzirDaK7aoPCfoS7jOqqi_6huRc-_jTrDcZO8,14252
+certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FMzcWSgu3v5SfFM_HOO2JpbCeY0,11787
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
-certora_cli/CertoraProver/certoraConfigIO.py,sha256=lxdtoV6Fiu2nbjujV8wDQmDVx3FwXTZ_El5--oit6iI,7484
-certora_cli/CertoraProver/certoraContext.py,sha256=K-cCht-oVvi0vI4UWRhUF9yQdIvsyZgxNtv43S5KH_Q,25284
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=GCYK_tWVrOl1y7Mn3EcPKMnnGb89qkqcw2va3Q_b2ZA,64410
+certora_cli/CertoraProver/certoraConfigIO.py,sha256=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
+certora_cli/CertoraProver/certoraContext.py,sha256=trrOxYutHtSqg3ePwHecRBs3_derI5jPcNCWP_Ucm5I,25598
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=NKFbn9hgEQvZig2rgsfbvE-ppsYJHwHYUrkMZKpuGcI,67763
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=Vrq50PQ0NzQUucsLR96QIoCNEJ7uuU0WW_x8O0LUfys,43953
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=3y8SGRJko0LW-D8HlWygcSSH6uyBKwwGY_jo8-puN_Q,46075
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
 certora_cli/CertoraProver/certoraExtensionInfo.py,sha256=YlShzdoqJQgXXj3r0TJ3fir1KntIR99Rk8JN5qii2lk,2026
 certora_cli/CertoraProver/certoraJobList.py,sha256=FBIYgJ60I0Ok7vchfTbcuJJbiXgnfAhrONoVeZoHti4,11464
 certora_cli/CertoraProver/certoraMiniSpecParser.py,sha256=NjjMwf5Rav3YWpoOJh4PZ-QOS8exC2cg4yIBSbZA6l0,9660
 certora_cli/CertoraProver/certoraNodeFilters.py,sha256=5Uk2mixZKeis_JVd3HkLgoEVklkAYBXAZiNHRlXOIfY,2830
-certora_cli/CertoraProver/certoraParseBuildScript.py,sha256=VJARWSLN6QVeBnQasvD9SdsS_V-S2pYitRFTu775Wyc,4908
+certora_cli/CertoraProver/certoraParseBuildScript.py,sha256=V_2lqlDnwdkXJzpdvXiMuOyupdrDTZnOyHKshm-_3rQ,4850
 certora_cli/CertoraProver/certoraProjectScanner.py,sha256=jT7FeWzcy8o83LrZRwsg_L4x6im6Fm_0LZFKVbKr3Jk,6862
 certora_cli/CertoraProver/certoraSourceFinders.py,sha256=qwJtwrQq3NUNYmdmn1UmANN4lmJFIUh4M-St2x1FJ2Y,19038
 certora_cli/CertoraProver/certoraType.py,sha256=wD-Sr3xk_dJGtbvw33oIGu_lf15NCZuKWjUb4HlVcUM,29318
-certora_cli/CertoraProver/certoraVerifyGenerator.py,sha256=HZSFbcOO5NReOsJXDxx9o7xARhwbAdP9CYDFEQSTMcY,10146
-certora_cli/CertoraProver/splitRules.py,sha256=PXLhrIRDpYoNsVm1lgNx87SP4Se_0LbRYP5QRgqIZrw,7477
+certora_cli/CertoraProver/certoraVerifyGenerator.py,sha256=nZlSuw57oLwPKj4ec3Kn9q05PevaYd3ZD1O8FTSjZn4,10825
+certora_cli/CertoraProver/splitRules.py,sha256=HfSqsKeeLZDeOnv8TGgpPDHoaXgdVc0HOrLcGk-cU1Q,7681
 certora_cli/CertoraProver/Compiler/CompilerCollector.py,sha256=cr-PIl7LY9VfNs4s4H3-EnSnomPiCgXudfwP9-KenMk,6740
 certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py,sha256=L-LAH0UU7gB7wYvCcXrwdtLGpBI8MX3rPts0ufQ-X9s,8157
 certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py,sha256=7nAY2FLMUlGJn4f_YoZMqpa3rf7THqhJVjLwTaChcBc,5027
 certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8Of6R84vXsqRNGpscYcFQghmSIY_dyaAWDYA,1350
-certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=WXoyZ_OZaQeudzT3dTOjuQSKSRZBAYoeuGJHRrwhFNw,68460
+certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=e95xOHK5Bz8BbzjbCVLCrGSutVs8ejqOImh5wH9o3Jk,69918
 certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py,sha256=El4WYJZVp3DpXQMZ53yVDPKOWPda5oLs3yD1qhb7dAE,5177
 certora_cli/CertoraProver/Compiler/__init__.py,sha256=tEFAmNyx9WL0kzpp_-4s7b6pLvxHmBWz6pQAq0yeROM,789
 certora_cli/EquivalenceCheck/Eq_default.conf,sha256=p9b8_cPnU41dVBrd8ry16H4x75TNp16HdJdmQeMuVxw,186
@@ -48,23 +49,23 @@ certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NM
 certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
 certora_cli/EquivalenceCheck/sanity.spec,sha256=tWmE9z2Sq3_SWaqKDRQaNajRrw94maUrirvoUmX89LE,103
 certora_cli/Mutate/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/Mutate/mutateApp.py,sha256=hWFOXIBSI9P8L5n2ShYyh-VZc8j4OLk6y5yHNSaxxPA,87613
+certora_cli/Mutate/mutateApp.py,sha256=Fm-ThWbJFrq_UCBc7cKobdLnBhD2K_ndqrSm7gyQVx4,87631
 certora_cli/Mutate/mutateAttributes.py,sha256=brsoisPowxpxQxN_-y0NDvsv8feoHONhtlOayXaLDdk,10092
 certora_cli/Mutate/mutateConstants.py,sha256=LRrz3wMM8WpPYSshkc-PLYqT0nexcWQeBNsehip-LOE,3945
 certora_cli/Mutate/mutateUtil.py,sha256=B7MCIFtZBetjR4MMxU6F5ikYsaot1wTG7XYMjgVXl4k,2287
 certora_cli/Mutate/mutateValidate.py,sha256=9mWzR1zd9N_k78IH9MkvnTzUWb1xPdW086b2-lpi4mQ,7437
 certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99wT2PNdu4se8w,18457
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
-certora_cli/Shared/certoraAttrUtil.py,sha256=wORBPLKJzRmiHaTkPYfFYxS2iccbqT3T3QJ9suTzyRo,8070
+certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubvVKh78ohs,8373
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
-certora_cli/Shared/certoraUtils.py,sha256=1_-P8rG_ed3aH1lvDx8jcFtyDvln3PAKuPaKYWBK9U4,54871
-certora_cli/Shared/certoraValidateFuncs.py,sha256=M3eSr_5vxhdavTA_9NWYhH8SKR-PMyqYH8JzOTl7vwU,41527
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=bvSyQhDNDC36lGbIJZJccOWUEw8ae3jNCDjz77ZNEwU,146
-certora_jars/Typechecker.jar,sha256=ltNw9oSXH6gODnpico36szDxqwLG-fR3HRxsaWeF1X8,16885722
+certora_cli/Shared/certoraUtils.py,sha256=khp1BAlpW0WwMq92u887R05nPDqWAnLkY1kVk2ZT0Ek,55147
+certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=zvqXLfv-KL122-QtVCLQiMEsMynQdGQA-zYMeHDSptY,146
+certora_jars/Typechecker.jar,sha256=sfV9EGc2AevkWfAopmcelJvbhtazZWYF52JmbmZ8r_Y,16968728
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-7.28.0.dist-info/LICENSE,sha256=a-Nl3_IeBWTgtndKszDEK9NUQB0gMGVdlE18EMpQxpQ,1065
-certora_cli_beta_mirror-7.28.0.dist-info/METADATA,sha256=-KXkefNrqjNfRCv7Wc0luiGmbHLlDwMDdZbJzOQTcoU,822
-certora_cli_beta_mirror-7.28.0.dist-info/WHEEL,sha256=tZoeGjtWxWRfdplE7E3d45VPlLNQnvbKiYnx7gwAy8A,92
-certora_cli_beta_mirror-7.28.0.dist-info/entry_points.txt,sha256=x2dyit80wAtF72k5CQj9F5lnWZEmP9ioseqvrEGWyFc,389
-certora_cli_beta_mirror-7.28.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-7.28.0.dist-info/RECORD,,
+certora_cli_beta_mirror-7.29.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-7.29.0.dist-info/METADATA,sha256=31Q-oxltoa2dRPa1cORu6majmrBk6w4GJjj-R7myGCk,1231
+certora_cli_beta_mirror-7.29.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-7.29.0.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_beta_mirror-7.29.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-7.29.0.dist-info/RECORD,,

{certora_cli_beta_mirror-7.28.0.dist-info → certora_cli_beta_mirror-7.29.0.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: bdist_wheel (0.45.1)
+Generator: setuptools (75.8.2)
 Root-Is-Purelib: true
 Tag: py3-none-any
 

{certora_cli_beta_mirror-7.28.0.dist-info → certora_cli_beta_mirror-7.29.0.dist-info}/entry_points.txt

@@ -2,6 +2,7 @@
 certoraEVMProver = certora_cli.certoraEVMProver:entry_point
 certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point
 certoraMutate = certora_cli.certoraMutate:mutate_entry_point
+certoraRanger = certora_cli.certoraRanger:entry_point
 certoraRun = certora_cli.certoraRun:entry_point
 certoraSolanaProver = certora_cli.certoraSolanaProver:entry_point
 certoraSorobanProver = certora_cli.certoraSorobanProver:entry_point

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-beta-mirror", "tag": "7.28.0", "branch": "", "commit": "489a4d6", "timestamp": "20250408.13.21.430328", "version": "7.28.0"}
+{"name": "certora-cli-beta-mirror", "tag": "7.29.0", "branch": "", "commit": "3f35845", "timestamp": "20250508.13.19.941262", "version": "7.29.0"}

certora_cli_beta_mirror-7.28.0.dist-info/LICENSE

@@ -1,22 +0,0 @@
-
-MIT License
-
-Copyright (c) 2025 Certora
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.