certora-cli-alpha-master 20241224.0.4.890155__py3-none-any.whl → 20241224.12.18.798750__py3-none-any.whl

certora_cli/EVMVerifier/certoraBuild.py

@@ -2630,7 +2630,7 @@ class CertoraBuildGenerator:
                 sources_from_pre_finder_SDCs |= sdc.all_contract_files
             sources = self.collect_sources(context, certora_verify_generator, sources_from_pre_finder_SDCs)
             try:
-                self.cwd_rel_in_sources = self.build_source_tree(sources, context)
+                self.cwd_rel_in_sources = build_source_tree(sources, context)
             except Exception as e:
                 build_logger.debug(f"build_source_tree failed. Sources: {sources}", exc_info=e)
                 raise
@@ -2797,85 +2797,6 @@ class CertoraBuildGenerator:
         common_path = Path(os.path.commonpath(list(sources.union({cwd}))))
         return cwd.relative_to(common_path), common_path
 
-    @staticmethod
-    def build_source_tree(sources: Set[Path], context: CertoraContext, overwrite: bool = False) -> Path:
-        """
-        Copies files to .certora_sources
-        @returns the cwd relative in sources
-        """
-        sources = sources_to_abs(sources)
-        cwd_rel_in_sources, common_path = CertoraBuildGenerator.get_cwd_rel_in_sources(sources)
-
-        for source_path in sources:
-            is_dir = source_path.is_dir()
-            # copy file to the path of the file from the common root under the sources directory
-
-            # make sure directory exists
-            target_path = Util.get_certora_sources_dir() / source_path.relative_to(common_path)
-            target_directory = target_path if is_dir else target_path.parent
-            try:
-                target_directory.mkdir(parents=True, exist_ok=True)
-            except OSError as e:
-                build_logger.debug(f"Failed to create directory {target_directory}", exc_info=e)
-                raise
-
-            # copy files. if we got a directory, nothing to do
-            if is_dir:
-                build_logger.debug(f"Skipping directory {source_path}")
-                continue
-
-            try:
-                if overwrite:
-                    # expecting target path to exist.
-                    if target_path.exists():
-                        build_logger.debug(f"Overwriting {target_path} by copying from {source_path}")
-                    else:
-                        build_logger.warning(f"Supposed to overwrite {target_path} by copying from {source_path}" +
-                                             " but it does not exist... this may indicate bad things happen")
-                if overwrite or not target_path.exists():
-                    build_logger.debug(f"Copying {source_path} to {target_path}")
-                    shutil.copyfile(source_path, target_path)
-            except OSError as e:
-                build_logger.debug(f"Couldn't copy {source_path} to {target_path}", exc_info=e)
-                raise
-
-        #  the empty file .cwd is written in the source tree to denote the current working directory
-        if cwd_rel_in_sources != '.':
-            file_path = Util.get_certora_sources_dir() / cwd_rel_in_sources / Util.CWD_FILE
-            file_path.parent.mkdir(parents=True, exist_ok=True)
-            file_path.touch()
-
-        """
-        Once the resource files are copied to the source tree, the paths in the value of the 'prover_resource_files'
-        attribute are replaced with the relative path of the resource file from the source tree root.
-        This way The server can easily find the resource files in the source tree. The path from the source tree is the
-        relative path of cwd from source tree root (most cases '.') concatenated with the relative path of the resource
-        file from cwd
-        """
-        if context.prover_resource_files:
-            new_value = []
-            len_orig = len(context.prover_resource_files)
-            for value in context.prover_resource_files:
-                label, file_path = value.split(':')
-                rel_path = Path(os.path.relpath(file_path, '.'))
-                new_value.append(':'.join([label, os.path.normpath(rel_path)]))
-            if len_orig != len(new_value):
-                raise RuntimeError(f"fail to process prover_resource_files {len_orig} out of {len(new_value)}")
-            context.prover_resource_files = new_value
-
-        # Copy the repro conf file to the sources as the overall way to reproduce this run easily.
-        # The file is being copied in here and not added through collect_sources, because we want
-        # to avoid building the whole tree up to the common path for this file. We simply want to copy
-        # the repro file from .certora_internal to .certora_sources so it will be uploaded as a run
-        # resource.
-        try:
-            shutil.copy(Util.get_last_conf_file(), Util.get_certora_sources_dir() / Util.LAST_CONF_FILE)
-        except OSError as e:
-            build_logger.debug("Couldn't copy repro conf to certora sources.", exc_info=e)
-            raise
-
-        return cwd_rel_in_sources
-
     @staticmethod
     def normalize_path(path: str) -> str:
         """
@@ -3472,6 +3393,85 @@ def sources_to_abs(sources: Set[Path]) -> Set[Path]:
     return result
 
 
+def build_source_tree(sources: Set[Path], context: CertoraContext, overwrite: bool = False) -> Path:
+    """
+    Copies files to .certora_sources
+    @returns the cwd relative in sources
+    """
+    sources = sources_to_abs(sources)
+    cwd_rel_in_sources, common_path = CertoraBuildGenerator.get_cwd_rel_in_sources(sources)
+
+    for source_path in sources:
+        is_dir = source_path.is_dir()
+        # copy file to the path of the file from the common root under the sources directory
+
+        # make sure directory exists
+        target_path = Util.get_certora_sources_dir() / source_path.relative_to(common_path)
+        target_directory = target_path if is_dir else target_path.parent
+        try:
+            target_directory.mkdir(parents=True, exist_ok=True)
+        except OSError as e:
+            build_logger.debug(f"Failed to create directory {target_directory}", exc_info=e)
+            raise
+
+        # copy files. if we got a directory, nothing to do
+        if is_dir:
+            build_logger.debug(f"Skipping directory {source_path}")
+            continue
+
+        try:
+            if overwrite:
+                # expecting target path to exist.
+                if target_path.exists():
+                    build_logger.debug(f"Overwriting {target_path} by copying from {source_path}")
+                else:
+                    build_logger.warning(f"Supposed to overwrite {target_path} by copying from {source_path}" +
+                                         " but it does not exist... this may indicate bad things happen")
+            if overwrite or not target_path.exists():
+                build_logger.debug(f"Copying {source_path} to {target_path}")
+                shutil.copyfile(source_path, target_path)
+        except OSError as e:
+            build_logger.debug(f"Couldn't copy {source_path} to {target_path}", exc_info=e)
+            raise
+
+    #  the empty file .cwd is written in the source tree to denote the current working directory
+    if cwd_rel_in_sources != '.':
+        file_path = Util.get_certora_sources_dir() / cwd_rel_in_sources / Util.CWD_FILE
+        file_path.parent.mkdir(parents=True, exist_ok=True)
+        file_path.touch()
+
+    """
+    Once the resource files are copied to the source tree, the paths in the value of the 'prover_resource_files'
+    attribute are replaced with the relative path of the resource file from the source tree root.
+    This way The server can easily find the resource files in the source tree. The path from the source tree is the
+    relative path of cwd from source tree root (most cases '.') concatenated with the relative path of the resource
+    file from cwd
+    """
+    if context.prover_resource_files:
+        new_value = []
+        len_orig = len(context.prover_resource_files)
+        for value in context.prover_resource_files:
+            label, file_path = value.split(':')
+            rel_path = Path(os.path.relpath(file_path, '.'))
+            new_value.append(':'.join([label, os.path.normpath(rel_path)]))
+        if len_orig != len(new_value):
+            raise RuntimeError(f"fail to process prover_resource_files {len_orig} out of {len(new_value)}")
+        context.prover_resource_files = new_value
+
+    # Copy the repro conf file to the sources as the overall way to reproduce this run easily.
+    # The file is being copied in here and not added through collect_sources, because we want
+    # to avoid building the whole tree up to the common path for this file. We simply want to copy
+    # the repro file from .certora_internal to .certora_sources so it will be uploaded as a run
+    # resource.
+    try:
+        shutil.copy(Util.get_last_conf_file(), Util.get_certora_sources_dir() / Util.LAST_CONF_FILE)
+    except OSError as e:
+        build_logger.debug("Couldn't copy repro conf to certora sources.", exc_info=e)
+        raise
+
+    return cwd_rel_in_sources
+
+
 def build_from_scratch(certora_build_generator: CertoraBuildGenerator,
                        certora_verify_generator: CertoraVerifyGenerator,
                        build_cache_enabled: bool) -> CachedFiles:
@@ -3635,7 +3635,7 @@ def build(context: CertoraContext, ignore_spec_syntax_check: bool = False) -> No
                                                           cached_files.all_contract_files)
         try:
             # Copies files, not updating state
-            certora_build_generator.build_source_tree(sources, context)
+            build_source_tree(sources, context)
         except Exception as e:
             build_logger.debug("build_source_tree failed", exc_info=e)
 

certora_cli/EVMVerifier/certoraBuildRust.py

@@ -0,0 +1,69 @@
+import glob
+import shutil
+from pathlib import Path
+from typing import Set
+
+from EVMVerifier.certoraBuild import build_source_tree
+from EVMVerifier.certoraContextClass import CertoraContext
+from EVMVerifier.certoraParseBuildScript import run_script_and_parse_json
+from Shared import certoraUtils as Util
+
+
+def build_rust_app(context: CertoraContext) -> None:
+    if context.build_script:
+        run_script_and_parse_json(context)
+        if not context.rust_executables:
+            raise Util.CertoraUserInputError("failed to get target executable")
+
+        sources: Set[Path] = set()
+        root_directory = Path(context.rust_project_directory)
+        collect_files_from_rust_sources(context, sources, root_directory)
+
+        try:
+            # Create generators
+            build_source_tree(sources, context)
+
+            copy_files_to_build_dir(context, root_directory)
+
+        except Exception as e:
+            raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")
+    else:
+        if not context.files:
+            raise Util.CertoraUserInputError("'files' or 'build_script' must be set for Rust projects")
+        if len(context.files) > 1:
+            raise Util.CertoraUserInputError("Rust projects must specify exactly one executable in 'files'.")
+        context.rust_executables = context.files[0]
+
+
+def collect_files_from_rust_sources(context: CertoraContext, sources: Set[Path], root_directory: Path) -> None:
+    patterns = ["*.rs", "*.so", "*.wasm", "Cargo.toml", "Cargo.lock", "justfile"]
+    exclude_dirs = [".certora_internal"]
+
+    if not root_directory.is_dir():
+        raise ValueError(f"The given directory {root_directory} is not valid.")
+
+    for source in context.rust_sources:
+        for file in glob.glob(f'{root_directory.joinpath(source)}', recursive=True):
+            file_path = Path(file)
+            if any(excluded in file_path.parts for excluded in exclude_dirs):
+                continue
+            if file_path.is_file() and any(file_path.match(pattern) for pattern in patterns):
+                sources.add(file_path)
+
+    if Path(context.build_script).exists():
+        sources.add(Path(context.build_script).resolve())
+    if context.conf_file and Path(context.conf_file).exists():
+        sources.add(Path(context.conf_file).absolute())
+
+
+def copy_files_to_build_dir(context: CertoraContext, root_directory: Path) -> None:
+    rust_executable = root_directory / context.rust_executables
+    shutil.copyfile(rust_executable, Util.get_build_dir() / rust_executable.name)
+
+    if context.prover_resource_files:
+        for value in context.prover_resource_files:
+            _, file_path = value.split(':')
+            cur_path = (Path(context.conf_file).parent / file_path).resolve()
+            shutil.copy(cur_path, Util.get_build_dir() / cur_path.name)
+            if cur_path.suffix == '.txt':
+                shutil.copy(cur_path, Util.get_certora_sources_dir() / cur_path.name)

certora_cli/EVMVerifier/certoraCloudIO.py

@@ -1,9 +1,7 @@
-import glob
 import itertools
 import json
 import os
 import re
-import shutil
 import uuid
 
 import requests
@@ -192,45 +190,6 @@ def parse_json(response: Response) -> Dict[str, Any]:
     return json_response
 
 
-def zip_rust_files(zip_file_path: Path, context: CertoraContext, *resource_paths: Path) -> bool:
-    patterns = ["*.rs", "*.so", "*.wasm", "Cargo.toml", "Cargo.lock", "justfile"]
-    exclude_dirs = [".certora_internal"]
-
-    root_directory = Path(context.rust_project_directory)
-    if not root_directory.is_dir():
-        raise ValueError(f"The given directory {root_directory} is not valid.")
-
-    with zipfile.ZipFile(zip_file_path, 'w', zipfile.ZIP_DEFLATED) as zip_obj:
-        for source in context.rust_sources:
-            for file in glob.glob(f'{root_directory.joinpath(source)}', recursive=True):
-                file_path = Path(file)
-                if any(excluded in file_path.parts for excluded in exclude_dirs):
-                    continue
-                if file_path.is_file() and any(file_path.match(pattern) for pattern in patterns):
-                    zip_obj.write(file_path, Util.CERTORA_SOURCES / file_path.relative_to(root_directory))
-        if context.build_script and Path(context.build_script).exists():
-            zip_obj.write(Path(context.build_script),
-                          Util.CERTORA_SOURCES / Path(context.build_script).absolute().relative_to(root_directory))
-        if context.conf_file and Path(context.conf_file).exists():
-            zip_obj.write(Path(context.conf_file),
-                          Util.CERTORA_SOURCES / Path(context.conf_file).absolute().relative_to(root_directory))
-        if Util.get_last_conf_file():
-            zip_obj.write(Util.get_last_conf_file(),
-                          Util.CERTORA_SOURCES / Util.get_last_conf_file().relative_to(Util.get_build_dir()))
-
-        rust_executable = root_directory.joinpath(context.rust_executables)
-        zip_obj.write(rust_executable, rust_executable.relative_to(rust_executable.parent))
-        for path in resource_paths:
-            zip_obj.write(path, os.path.relpath(path, Util.get_build_dir()))
-            if path.suffix == '.txt':
-                zip_obj.write(path, Util.CERTORA_SOURCES / path.relative_to(Util.get_build_dir()))
-
-    if zip_file_path.stat().st_size > MAX_FILE_SIZE:
-        cloud_logger.error(f"{GENERAL_ERR_PREFIX} Max 25MB file size exceeded. File is located at {zip_file_path}")
-        return False
-    return True
-
-
 def compress_files(zip_file_path: Path, *resource_paths: Path, short_output: bool = False) -> bool:
     with zipfile.ZipFile(zip_file_path, 'w', zipfile.ZIP_DEFLATED) as zip_obj:
 
@@ -779,14 +738,25 @@ class CloudVerification:
             files_list = [Util.get_certora_metadata_file()]
 
             if hasattr(self.context, 'build_script') and self.context.build_script:
+                result = compress_files(self.logZipFilePath, Util.get_debug_log_file(),
+                                        short_output=Ctx.is_minimal_cli_output(self.context))
+
+                if not result:
+                    return False
+                files_list.append(self.logZipFilePath)
+                if Util.get_certora_sources_dir().exists():
+                    files_list.append(Util.get_certora_sources_dir())
+
+                files_list.append(Util.get_build_dir() / Path(self.context.rust_executables).name)
+
                 if self.context.prover_resource_files:
                     for value in self.context.prover_resource_files:
                         _, file_path = value.split(':')
                         cur_path = (Path(self.context.conf_file).parent / Path(file_path)).resolve()
-                        shutil.copy(cur_path, Util.get_build_dir())
                         files_list.append(Util.get_build_dir() / cur_path.name)
 
-                result = zip_rust_files(self.ZipFilePath, self.context, *files_list)
+                result = compress_files(self.ZipFilePath, *files_list,
+                                        short_output=Ctx.is_minimal_cli_output(self.context))
 
             elif Attrs.is_solana_app():
                 # We zip the ELF files and the two configuration files

certora_cli/EVMVerifier/certoraContext.py

@@ -11,8 +11,6 @@ from pathlib import Path
 from typing import Dict, List, Optional, Any
 from rich.console import Console
 
-from EVMVerifier.certoraParseBuildScript import run_script_and_parse_json
-
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
@@ -521,16 +519,3 @@ def run_local_spec_check(with_typechecking: bool, context: CertoraContext) -> No
     else:
         raise Util.CertoraUserInputError("Cannot run local checks because of missing a suitable java installation. "
                                          "To skip local checks run with the --disable_local_typechecking flag")
-
-
-def build_rust_app(context: CertoraContext) -> None:
-    if context.build_script:
-        run_script_and_parse_json(context)
-        if not context.rust_executables:
-            raise Util.CertoraUserInputError("failed to get target executable")
-    else:
-        if not context.files:
-            raise Util.CertoraUserInputError("'files' or 'build_script' must be set for Rust projects")
-        if len(context.files) > 1:
-            raise Util.CertoraUserInputError("Rust projects must specify exactly one executable in 'files'.")
-        context.rust_executables = context.files[0]

certora_cli/certoraEVMProver.py

@@ -1,6 +1,11 @@
 #!/usr/bin/env python3
 
 import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
 import EVMVerifier.certoraContextAttributes as Attrs
 from certoraRun import run_certora, CertoraRunResult
 from typing import List, Optional
@@ -9,6 +14,8 @@ from typing import List, Optional
 def run_evm_prover(args: List[str]) -> Optional[CertoraRunResult]:
     return run_certora(args, Attrs.EvmProverAttributes)
 
+def entry_point() -> None:
+    run_evm_prover(sys.argv[1:])
 
 if __name__ == '__main__':
-    run_evm_prover(sys.argv[1:])
+    entry_point()

certora_cli/certoraRun.py

@@ -18,6 +18,7 @@ from EVMVerifier.certoraCloudIO import CloudVerification, validate_version_and_b
 from EVMVerifier.certoraCollectRunMetadata import collect_run_metadata
 from Shared.certoraLogging import LoggingManager
 from EVMVerifier.certoraBuild import build
+from EVMVerifier.certoraBuildRust import build_rust_app
 import EVMVerifier.certoraContext as Ctx
 
 from EVMVerifier import certoraContextValidator as Cv
@@ -95,7 +96,7 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
     metadata.dump()
 
     if Attrs.is_rust_app():
-        Ctx.build_rust_app(context)
+        build_rust_app(context)
 
         if context.local:
             check_cmd = Ctx.get_local_run_cmd(context)

certora_cli/certoraSolanaProver.py

@@ -3,7 +3,7 @@
 import sys
 import time
 import logging
-from typing import List, Optional, Type
+from typing import List, Optional
 from pathlib import Path
 from rich.console import Console
 
@@ -11,7 +11,6 @@ scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
 from Shared import certoraUtils as Util
-from Shared import certoraAttrUtil as AttrUtil
 from Shared.certoraLogging import LoggingManager
 
 from EVMVerifier.certoraCloudIO import CloudVerification, validate_version_and_branch
@@ -20,6 +19,7 @@ from EVMVerifier import certoraContextValidator as Cv
 
 import EVMVerifier.certoraContext as Ctx
 import EVMVerifier.certoraContextAttributes as Attrs
+from EVMVerifier.certoraBuildRust import build_rust_app
 
 from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViolations
 
@@ -28,8 +28,7 @@ from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViola
 run_logger = logging.getLogger("run")
 
 
-def run_solana_prover(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]] = None) \
-        -> Optional[CertoraRunResult]:
+def run_solana_prover(args: List[str]) -> Optional[CertoraRunResult]:
     """
     The main function that is responsible for the general flow of the script.
     The general flow is:
@@ -77,7 +76,7 @@ def run_solana_prover(args: List[str], attrs_class: Optional[Type[AttrUtil.Attri
     run_logger.debug("Build Solana target")
     build_start = time.perf_counter()
 
-    Ctx.build_rust_app(context)
+    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):

certora_cli/certoraSorobanProver.py

@@ -1,6 +1,11 @@
 #!/usr/bin/env python3
 
 import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
 import EVMVerifier.certoraContextAttributes as Attrs
 from certoraRun import run_certora, CertoraRunResult
 from typing import List, Optional
@@ -9,6 +14,8 @@ from typing import List, Optional
 def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
     return run_certora(args, Attrs.SorobanProverAttributes)
 
+def entry_point() -> None:
+    run_soroban_prover(sys.argv[1:])
 
 if __name__ == '__main__':
-    run_soroban_prover(sys.argv[1:])
+    entry_point()

{certora_cli_alpha_master-20241224.0.4.890155.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241224.0.4.890155
+Version: 20241224.12.18.798750
 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 b29f53e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 103751c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20241224.0.4.890155.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/RECORD

@@ -1,21 +1,22 @@
 certora_bins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli/certoraEVMProver.py,sha256=Qo33HMBWytyAotk714xzK5Xbiqgeprn86nuRDSNZr7U,362
+certora_cli/certoraEVMProver.py,sha256=5bYkU_ap4tBJhnDLJuwWndJyxzOrXpbmaTBELm1mthI,551
 certora_cli/certoraEqCheck.py,sha256=5LtN9GNBSYR_kYghDBeNNL4yWshPw9PNpe0stLtuIxQ,379
 certora_cli/certoraMutate.py,sha256=BUK_keaunrcCYgLiwHfIkDSjIHM_KoGwwnIiuojc-ug,2643
-certora_cli/certoraRun.py,sha256=rnczNnSoYRuUKOkIN7_0cRxjiVDK0x4NJxOT4KNkYdg,11884
-certora_cli/certoraSolanaProver.py,sha256=3Vb05zd5PqkU5CmCNzYvmYfbC-hsmU6Tt390msjQlOc,5898
-certora_cli/certoraSorobanProver.py,sha256=wRLL6TpbBGZeyDIEtvzSNjmpKyc4U657S7b6agULf-8,374
+certora_cli/certoraRun.py,sha256=8LIFACWqme6eCTwxhoQ_0UtdUo85yu1b38soez5NdWg,11936
+certora_cli/certoraSolanaProver.py,sha256=LEfKpfef0l91mqIQxSzCXtzE8oxZQek-ILcI02fj2Mc,5830
+certora_cli/certoraSorobanProver.py,sha256=L7mwsHZUxdZMW20_HfPgJeDHZAwIO2Bm2oHl_Nnn1xs,563
 certora_cli/rustMutator.py,sha256=ezpwwzr-OCK78PsBPVf5fC__GWaESvIbaAI7yjJ8Hs0,13862
 certora_cli/EVMVerifier/__init__.py,sha256=AJxj90KAGh1JqAsxKqDBTL2rFbqgtkhDfW_XmxSHft0,159
-certora_cli/EVMVerifier/certoraBuild.py,sha256=TqPfOSjcuY0zWJYTx1d401zJdIbnLyECa9T5koXRKzM,203842
+certora_cli/EVMVerifier/certoraBuild.py,sha256=SNpafLfTRInMrns6OuI9WUrJXP7Yt4Fv53pUnpI_j60,203520
 certora_cli/EVMVerifier/certoraBuildCacheManager.py,sha256=ZSVCsdTkFFtawuNJ8VK3wJOb01Uyu5e8viPQ8wTziSQ,12563
 certora_cli/EVMVerifier/certoraBuildDataClasses.py,sha256=4IhvOA_fg-ij5RM9RRlvDDoS7imfp4Zru-AgHhxcHc0,13314
-certora_cli/EVMVerifier/certoraCloudIO.py,sha256=b26JbU3aTEU0BO7gIlJ14tosQfv3wgVqRRqm80WVF9w,55165
+certora_cli/EVMVerifier/certoraBuildRust.py,sha256=uOKog69nYxmevt6iPnAZa38d5u5bKZM7HywL-Dc_G60,2973
+certora_cli/EVMVerifier/certoraCloudIO.py,sha256=RyNqdVkttNa7oy4NT_WdPdn49jDoA77-bo-cCFkKsi0,53418
 certora_cli/EVMVerifier/certoraCollectRunMetadata.py,sha256=selEf-p7UW8_70-AbPfa5659ki6WcGrBwfPkUQWKhFU,10322
 certora_cli/EVMVerifier/certoraCompilerParameters.py,sha256=PDKW3K_lNeRNPHisW0e5hYtfu6unDRjJUop-yItGHO0,762
 certora_cli/EVMVerifier/certoraConfigIO.py,sha256=oyNOyBjVWFfB1dmj0jNnEwvokM7UMoGZ91luSh-cFGk,4634
-certora_cli/EVMVerifier/certoraContext.py,sha256=vLPo1JQfvHMCsKMVKY51D0FS_h_0stGYXGimbP4fKYM,22313
+certora_cli/EVMVerifier/certoraContext.py,sha256=52YMEYYm67F_AsDZoIFjgcR34gQQDTnlmhiH9VrLCYE,21649
 certora_cli/EVMVerifier/certoraContextAttributes.py,sha256=Lx1vi9PgPiUcv0xRsdQncvknkpdvMWagGsT-Tw0saX4,55636
 certora_cli/EVMVerifier/certoraContextClass.py,sha256=qdHYmrzI4zeQaAaMnonw4C-h1PFrPEhI84trrgvxFj0,210
 certora_cli/EVMVerifier/certoraContextValidator.py,sha256=_vS3CDY8cJRqxtujwiz7rwRFVgDVxNb40YgUU4t4BPM,37585
@@ -55,12 +56,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=IbIIvTbtPzmPSSrK7VIWZNitkz1iwvW_e0g
 certora_cli/Shared/certoraLogging.py,sha256=5Lx-XWKl7GnwnWi7KlwTLIfsEvUvCTZ8KeyfNyi_6RU,13323
 certora_cli/Shared/certoraUtils.py,sha256=WmVX8Hz5wMZ7WI2JhYavAilH1kO3fwKLUBsf4hQ4b-o,53676
 certora_cli/Shared/certoraValidateFuncs.py,sha256=OOjPAkcfrURZDD4oDjOMBFTvY6wwQSXboXzu-47AUbY,36871
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=so1TnJyFcyUaIpN5NschhYPBb-oloOn79COxyYfRP1c,166
-certora_jars/Typechecker.jar,sha256=wtvxZGH-d0L99tw2rf1NcOEQEWRyfyPqPQFBi3VOSCY,16812998
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=BnHzvK6Yyd1TZ62oO5uruwKtQlJIVM9ZbAt68312VhU,170
+certora_jars/Typechecker.jar,sha256=e3s2OgaYwrB_DTA1S4TGL7cTZGFHn6xTDbeWcLN7vs4,16812998
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/METADATA,sha256=HzAvb_YtEAtl-G423N_tNbQU_hDFNfpyfDeaMJghYYM,836
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/WHEEL,sha256=P9jw-gEje8ByB7_hXoICnHtVCrEwMQh-630tKvQWehc,91
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/entry_points.txt,sha256=eRUXVz-5HRUeNAVnMPqnWc0zGvYox-9Um8o_TuR1In4,401
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20241224.0.4.890155.dist-info/RECORD,,
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/METADATA,sha256=G8flJ2P6h6_gu_qg044GmsZFYNaZqMKuWnKin8RvWJo,838
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/WHEEL,sha256=P9jw-gEje8ByB7_hXoICnHtVCrEwMQh-630tKvQWehc,91
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/entry_points.txt,sha256=x2dyit80wAtF72k5CQj9F5lnWZEmP9ioseqvrEGWyFc,389
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/RECORD,,

{certora_cli_alpha_master-20241224.0.4.890155.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/entry_points.txt

@@ -1,5 +1,5 @@
 [console_scripts]
-certoraEVMProver = certora_cli.EVMVerifier.certoraEVMProver:entry_point
+certoraEVMProver = certora_cli.certoraEVMProver:entry_point
 certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point
 certoraMutate = certora_cli.certoraMutate:mutate_entry_point
 certoraRun = certora_cli.certoraRun:entry_point

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "b29f53e", "timestamp": "20241224.0.4.890155", "version": "20241224.0.4.890155+b29f53e"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "103751c", "timestamp": "20241224.12.18.798750", "version": "20241224.12.18.798750+103751c"}