certora-cli-beta-mirror 7.29.2__py3-none-any.whl → 7.30.1__py3-none-any.whl

certora_cli/certoraSorobanProver.py

@@ -16,195 +16,31 @@
 
 
 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
+from typing import List, Optional, Dict
 
-import CertoraProver.certoraContext as Ctx
 import CertoraProver.certoraContextAttributes as Attrs
-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 set_rust_build_directory
-from CertoraProver.certoraCloudIO import CloudVerification, validate_version_and_branch
-from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViolations
 
+from Shared.rustProverCommon import build_rust_project
+from Shared.proverCommon import (
+    build_context,
+    collect_and_dump_metadata,
+    collect_and_dump_config_layout,
+    ensure_version_compatibility,
+    run_local,
+    run_remote,
+    CertoraRunResult,
+    handle_exit,
+    catch_exits,
+)
 
 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()
-    set_rust_build_directory(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]:
     """
     The main function that is responsible for the general flow of the script.
@@ -213,72 +49,43 @@ def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
     2. Run the necessary steps (build/ cloud verification/ local verification)
     """
 
-    context, logging_manager = setup_environment(args)
-    timings = {}
+    context, logging_manager = build_context(args, Attrs.SorobanProverAttributes)
+    timings: Dict[str, float] = {}
     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)
+    collect_and_dump_metadata(context)
+    collect_and_dump_config_layout(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)
+    ensure_version_compatibility(context)
 
     # Build the application
-    timings.update(build_project(context))
+    build_rust_project(context, timings)
 
     # Run verification if requested
-    if not context.build_only:
+    if context.build_only:
+        return return_value
 
-        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)
+    if context.local:
+        exit_code = run_local(context, timings)
+    else:
+        # Remove debug logger before running cloud verification
+        logging_manager.remove_debug_logger()
+        exit_code, return_value = run_remote(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
+    # Handle exit code
+    return handle_exit(exit_code, return_value)
 
 
+@catch_exits
 def entry_point() -> None:
     """
     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)
+    run_soroban_prover(sys.argv[1:])
 
 
 if __name__ == '__main__':

{certora_cli_beta_mirror-7.29.2.dist-info → certora_cli_beta_mirror-7.30.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.29.2
+Version: 7.30.1
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 58a3aa6.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 5c9b8e0.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-7.29.2.dist-info → certora_cli_beta_mirror-7.30.1.dist-info}/RECORD

@@ -1,15 +1,15 @@
 certora_bins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli/certoraEVMProver.py,sha256=12qxurzLtv0sS0NbHYY8yVlE0C7hvXRep2UyA0rCXyQ,1243
+certora_cli/certoraEVMProver.py,sha256=gLxqPXG9jKlCdLdgfo0aNjvp09vbHGSs8wghY6RH0Gg,1274
 certora_cli/certoraEqCheck.py,sha256=qfZq7bpU1kbAIezC66W61VfKNZz7Uywg2Ygup62qYeo,1069
 certora_cli/certoraMutate.py,sha256=XhFHyNVP_sk-3XkY6AAV5fVliEFAVRq-JeDGsqE5IQQ,3333
-certora_cli/certoraRanger.py,sha256=dJ49hGmHkED9-3wRw14Z8qPWeCP4DYPJAqPQKi52N1U,2302
-certora_cli/certoraRun.py,sha256=TTmV_WcWF2LG-7Rg9LC23HZDRwve4reHkd67o9pvJh8,14001
-certora_cli/certoraSolanaProver.py,sha256=zGDAnSED8CoAkQN6wtPcbK_nIJMVt72VB_AqiOy_XJg,7823
-certora_cli/certoraSorobanProver.py,sha256=jop6hkRyOLYYWJsnuGK_OHsyt6V_SaPmC5y02Y4CLpo,9628
+certora_cli/certoraRanger.py,sha256=cwejxWTNlHsbwtu6Lew0SNsynSeq_ZKJu1Cr9uu0DhE,1314
+certora_cli/certoraRun.py,sha256=IIPykXqarflxubpd7zJomoBMcCcj7-uLXIPiv7nrL_k,8675
+certora_cli/certoraSolanaProver.py,sha256=7hu-YJJNA_P5eAJq_jYh6IGjiUf0PegGUBRCJ5AhE7s,3274
+certora_cli/certoraSorobanProver.py,sha256=qE6b_vicC8KgOvUz7UTOaDuXT3UW0MMhq3keQgUVvzs,2865
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=JRZ4CrEhSPmNZTTw_vcL_kcJijKTaaB0MHj9RXBHEyM,206914
+certora_cli/CertoraProver/certoraBuild.py,sha256=WMaRg4VNdH_1k-GTfv-0USfIkQ7Gtdg3Y23bZHQVLVQ,212071
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=l81mZHGOhfSL8jme6I_O_aAiu3wxdHAg-jPEFQvFFdg,5936
@@ -19,7 +19,7 @@ certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FM
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
 certora_cli/CertoraProver/certoraConfigIO.py,sha256=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
 certora_cli/CertoraProver/certoraContext.py,sha256=0AihMYuUAGHWjbiSOMiDM6FVW5OyvEAxE51GPnMxSKg,25821
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=9BY24VkDhZd6kB2mDibzi78LGznAQTRJlAVIOyAP9Rs,67842
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=IhzGm46ToCIps-Eg04V90G4OUDcTm0dQqmtWr3rn-N4,69055
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
 certora_cli/CertoraProver/certoraContextValidator.py,sha256=iSB2byuHmi1G4xG-ViVvBrZv7e1mdxPmlWdV3AaN_l4,46492
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
@@ -32,7 +32,9 @@ certora_cli/CertoraProver/certoraProjectScanner.py,sha256=jT7FeWzcy8o83LrZRwsg_L
 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=nZlSuw57oLwPKj4ec3Kn9q05PevaYd3ZD1O8FTSjZn4,10825
+certora_cli/CertoraProver/erc7201.py,sha256=BME5kBZsDx6lgqLn7EE91I1cEOZtsnZ8BlRVF62eEBE,1660
 certora_cli/CertoraProver/splitRules.py,sha256=HfSqsKeeLZDeOnv8TGgpPDHoaXgdVc0HOrLcGk-cU1Q,7681
+certora_cli/CertoraProver/storageExtension.py,sha256=BZC9HJygeLxqS5TmhNxbIrVNfH3kLEPjN1VjsWQi8s8,15922
 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
@@ -40,16 +42,16 @@ certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8O
 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
+certora_cli/EquivalenceCheck/Eq_default.conf,sha256=J-tMFzIuQa1NcklOh-wv2bpnikfAxFogpRFOl3qoSwM,164
 certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec,sha256=HC3Zhpp9ePV10ClZE09Ah7h84O-BTNIUH6w0aA-qIOQ,2286
 certora_cli/EquivalenceCheck/Eq_mc_template.spec,sha256=pbRhwqw0a_KHQ6W3biJeGS9otNJCnw7gPo1Fb6ROwik,2633
-certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=j1Rm9dXNiQT4ULc3jmn4OxhsG1UgiTyoGsnrIHMQDBk,183
+certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=BuBI5YNg25b--iQxpNxBzb4v-q-HByObCx7R5Uy1jRw,161
 certora_cli/EquivalenceCheck/Eq_template.spec,sha256=YGaG5KxSOhelDiBd1oxDnVC8VhPl6coaxHiY4lXVf6o,823
 certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 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=Fm-ThWbJFrq_UCBc7cKobdLnBhD2K_ndqrSm7gyQVx4,87631
+certora_cli/Mutate/mutateApp.py,sha256=vLLTokkVs-dSyOPSymMZRGj_MmVxwdogTJgS_8LqPXI,87887
 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
@@ -58,14 +60,16 @@ certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99w
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
 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=khp1BAlpW0WwMq92u887R05nPDqWAnLkY1kVk2ZT0Ek,55147
+certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aOYhoOY,55185
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Za6_27u1jrs62Skw_0bMZuvbB-ENszuOemxpampg4T8,146
-certora_jars/Typechecker.jar,sha256=LUqp9Z4alP8lgXwoIbRIYSiQKsmvvFhw8ggSnZ7OaXg,17135545
+certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
+certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=j8bVz9zl2GrWRNLkCyJqxowmkL3ViT7lv_8gGapoAxw,146
+certora_jars/Typechecker.jar,sha256=F8N8aedlUn9WQ3KX_3I5QgzSRnuyNa0HmCYj1uWyHMo,17139024
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-7.29.2.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-7.29.2.dist-info/METADATA,sha256=8eIHY-6Cz4piLlIQCinubwBx-4EqnQ87mJ4ghJAasAQ,1231
-certora_cli_beta_mirror-7.29.2.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-7.29.2.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_beta_mirror-7.29.2.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-7.29.2.dist-info/RECORD,,
+certora_cli_beta_mirror-7.30.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-7.30.1.dist-info/METADATA,sha256=CFnS5p5BHGEdNORrYyCT4U27P_260PWpBD6s5UEaUvE,1231
+certora_cli_beta_mirror-7.30.1.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-7.30.1.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_beta_mirror-7.30.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-7.30.1.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-beta-mirror", "tag": "7.29.2", "branch": "", "commit": "58a3aa6", "timestamp": "20250603.16.56.366885", "version": "7.29.2"}
+{"name": "certora-cli-beta-mirror", "tag": "7.30.1", "branch": "", "commit": "5c9b8e0", "timestamp": "20250604.15.13.217266", "version": "7.30.1"}