certora-cli-beta-mirror 7.29.0__tar.gz → 7.29.1__tar.gz

{certora_cli_beta_mirror-7.29.0/certora_cli_beta_mirror.egg-info → certora_cli_beta_mirror-7.29.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.29.0
+Version: 7.29.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 3f35845.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b8a319d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-7.29.1/README.md

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

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/CertoraProver/certoraBuildRust.py

@@ -16,7 +16,7 @@
 import glob
 import shutil
 from pathlib import Path
-from typing import Set, List
+from typing import Set
 
 from CertoraProver.certoraBuild import build_source_tree
 from CertoraProver.certoraContextClass import CertoraContext
@@ -25,42 +25,9 @@ import CertoraProver.certoraContextAttributes as Attrs
 from Shared import certoraUtils as Util
 
 
-def build_rust_app(context: CertoraContext) -> None:
-    build_command: List[str] = []
-    feature_flag = None
-    if context.build_script:
-        build_command = [context.build_script]
-        feature_flag = '--cargo_features'
-
-    elif not context.files:
-        build_command = ["cargo", "certora-sbf"]
-        feature_flag = '--features'
-        if context.cargo_tools_version:
-            build_command.append("--tools-version")
-            build_command.append(context.cargo_tools_version)
-
-    if build_command:
-        if context.cargo_features is not None:
-            build_command.extend([feature_flag] + context.cargo_features)
-
-        build_command.extend(['--json', '-l'])
-
-        if context.test == str(Util.TestValue.SOLANA_BUILD_CMD):
-            raise Util.TestResultsReady(build_command)
-
-        run_rust_build(context, build_command)
-
-    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'.")
-
-        try:
-            Util.get_certora_sources_dir().mkdir(parents=True, exist_ok=True)
-            shutil.copy(Util.get_last_conf_file(), Util.get_certora_sources_dir() / Util.LAST_CONF_FILE)
-        except Exception as e:
-            raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")
+def set_rust_build_directory(context: CertoraContext) -> None:
+    if not context.files:
+        build_rust_app(context)
 
     copy_files_to_build_dir(context)
 
@@ -74,6 +41,25 @@ def build_rust_app(context: CertoraContext) -> None:
     except Exception as e:
         raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")
 
+def build_rust_app(context: CertoraContext) -> None:
+    assert not context.files, "build_rust_app: expecting files to be empty"
+    if context.build_script:
+        build_command = [context.build_script, '--json', '-l']
+        feature_flag = '--cargo_features'
+    else:  # cargo
+        build_command = ["cargo", "certora-sbf", '--json']
+        feature_flag = '--features'
+        if context.cargo_tools_version:
+            build_command.extend(["--tools-version", context.cargo_tools_version])
+
+    if context.cargo_features is not None:
+        build_command.append(feature_flag)
+        build_command.extend(context.cargo_features)
+
+    if context.test == str(Util.TestValue.SOLANA_BUILD_CMD):
+        raise Util.TestResultsReady(build_command)
+
+    run_rust_build(context, build_command)
 
 def add_solana_files_from_prover_args(context: CertoraContext) -> None:
     if context.prover_args:
@@ -134,7 +120,7 @@ def collect_files_from_rust_sources(context: CertoraContext, sources: Set[Path])
                     sources.add(file_path)
 
         sources.add(project_directory.absolute())
-        if Path(context.build_script).exists():
+        if context.build_script:
             sources.add(Path(context.build_script).resolve())
     if getattr(context, 'conf_file', None) and Path(context.conf_file).exists():
         sources.add(Path(context.conf_file).absolute())

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/CertoraProver/certoraCloudIO.py

@@ -70,6 +70,16 @@ Response = requests.models.Response
 
 FEATURES_REPORT_FILE = Path("featuresReport.json")
 
+class EcoEnum(Util.NoValEnum):
+    EVM = Util.auto()
+    SOROBAN = Util.auto()
+    SOLANA = Util.auto()
+
+class ProductEnum(Util.NoValEnum):
+    PROVER = Util.auto()
+    RANGER = Util.auto()
+    SOPHY = Util.auto()
+
 
 class TimeError(Exception):
     """A custom exception used to report on time elapsed errors"""
@@ -631,6 +641,20 @@ class CloudVerification:
 
         auth_data["useLatestFe"] = self.context.fe_version == str(Util.FeValue.LATEST)
 
+        if Attrs.is_solana_app():
+            auth_data["ecosystem"] = EcoEnum.SOLANA.name
+        elif Attrs.is_soroban_app():
+            auth_data["ecosystem"] = EcoEnum.SOROBAN.name
+        else:
+            auth_data["ecosystem"] = EcoEnum.EVM.name
+
+        if Attrs.is_ranger_app():
+            auth_data["product"] = ProductEnum.RANGER.name
+        elif Attrs.is_sophy_app():
+            auth_data["product"] = ProductEnum.SOPHY.name
+        else:
+            auth_data["product"] = ProductEnum.PROVER.name
+
         if Attrs.is_evm_app() and self.context.cache is not None:
             auth_data["toolSceneCacheKey"] = self.context.cache
 

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/CertoraProver/certoraContext.py

@@ -121,7 +121,9 @@ def get_local_run_cmd(context: CertoraContext) -> List[str]:
     run_args = []
 
     if Attrs.is_rust_app():
-        run_args.append(Path(context.files[0]).name)
+        # For local runs, we want path to be relative to cwd instead of zip root.
+        rust_rel_path = os.path.relpath(Path(context.files[0]), os.getcwd())
+        run_args.append(rust_rel_path)
     elif context.is_tac:
         # For Rust app we assume the files holds the executable for the prover, currently we support a single file
         try:
@@ -276,6 +278,8 @@ def get_args(args_list: Optional[List[str]] = None) -> CertoraContext:
     if Attrs.is_evm_app():
         validator.check_args_post_argparse()
         setup_cache(context)  # Here context.cache, context.user_defined_cache are set
+    if Attrs.is_rust_app():
+        validator.check_rust_args_post_argparse()
 
     attrs_to_relative(context)
     # Setup defaults (defaults are not recorded in conf file)

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -1854,3 +1854,6 @@ def is_evm_app() -> bool:
 
 def is_ranger_app() -> bool:
     return get_attribute_class() == RangerAttributes
+
+def is_sophy_app() -> bool:
+    return False  # wait for the tool to be added

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/CertoraProver/certoraContextValidator.py

@@ -154,6 +154,14 @@ class CertoraContextValidator:
         elif value not in [True, False]:
             raise Util.CertoraUserInputError(f"value of {conf_key} {value} is not a boolean (true/false)")
 
+    def check_rust_args_post_argparse(self) -> None:
+        context = self.context
+        if context.files:
+            if context.build_script:
+                raise Util.CertoraUserInputError("'files' and 'build_script' cannot be both set for Rust projects")
+            if len(context.files) > 1:
+                raise Util.CertoraUserInputError("Rust projects must specify exactly one executable in 'files'.")
+
     def check_args_post_argparse(self) -> None:
         """
         Performs checks over the arguments after basic argparse parsing

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/certoraRun.py

@@ -32,7 +32,7 @@ from CertoraProver.certoraCollectRunMetadata import collect_run_metadata
 from CertoraProver.certoraCollectConfigurationLayout import collect_configuration_layout
 from Shared.certoraLogging import LoggingManager
 from CertoraProver.certoraBuild import build
-from CertoraProver.certoraBuildRust import build_rust_app
+from CertoraProver.certoraBuildRust import set_rust_build_directory
 import CertoraProver.certoraContext as Ctx
 
 from CertoraProver import certoraContextValidator as Cv
@@ -132,7 +132,7 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
             raise Util.ExitException("Split rules failed", exit_code)
 
     if Attrs.is_rust_app():
-        build_rust_app(context)
+        set_rust_build_directory(context)
 
         if context.local:
             check_cmd = Ctx.get_local_run_cmd(context)

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/certoraSolanaProver.py

@@ -35,7 +35,7 @@ from CertoraProver import certoraContextValidator as Cv
 
 import CertoraProver.certoraContext as Ctx
 import CertoraProver.certoraContextAttributes as Attrs
-from CertoraProver.certoraBuildRust import build_rust_app
+from CertoraProver.certoraBuildRust import set_rust_build_directory
 
 from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViolations
 
@@ -104,7 +104,7 @@ def run_solana_prover(args: List[str]) -> Optional[CertoraRunResult]:
     run_logger.debug("Build Solana target")
     build_start = time.perf_counter()
 
-    build_rust_app(context)
+    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):

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/certora_cli/certoraSorobanProver.py

@@ -34,7 +34,7 @@ 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.certoraBuildRust import set_rust_build_directory
 from CertoraProver.certoraCloudIO import CloudVerification, validate_version_and_branch
 from certoraRun import CertoraRunResult, VIOLATIONS_EXIT_CODE, CertoraFoundViolations
 
@@ -132,7 +132,7 @@ def build_project(context: CertoraContext) -> Dict:
     run_logger.debug("Build Soroban target")
 
     build_start = time.perf_counter()
-    build_rust_app(context)
+    set_rust_build_directory(context)
     build_end = time.perf_counter()
 
     timings["buildTime"] = round(build_end - build_start, 4)

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1/certora_cli_beta_mirror.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.29.0
+Version: 7.29.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 3f35845.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b8a319d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-7.29.1/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-beta-mirror", "tag": "7.29.1", "branch": "", "commit": "b8a319d", "timestamp": "20250513.15.48.862437", "version": "7.29.1"}

{certora_cli_beta_mirror-7.29.0 → certora_cli_beta_mirror-7.29.1}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-beta-mirror",
-    version="7.29.0",
+    version="7.29.1",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 3f35845.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit b8a319d.                    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-beta-mirror",
     packages=setuptools.find_packages(),

certora_cli_beta_mirror-7.29.0/README.md

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

certora_cli_beta_mirror-7.29.0/certora_jars/CERTORA-CLI-VERSION-METADATA.json

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