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

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/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/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/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/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/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/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/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.dist-info → certora_cli_beta_mirror-7.29.2.dist-info}/METADATA

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

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

@@ -4,24 +4,24 @@ certora_cli/certoraEVMProver.py,sha256=12qxurzLtv0sS0NbHYY8yVlE0C7hvXRep2UyA0rCX
 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=IGAYmf-KiM0TJuVQQ6-KaZQQBFe0aJGnso9MpPXHL0Q,13981
-certora_cli/certoraSolanaProver.py,sha256=UjXcnauGwJLY9pdqnjwrq26kOtAJT_qIHRVFVuOxAf0,7803
-certora_cli/certoraSorobanProver.py,sha256=4PW4CxWNDArjIH3FDriFwC7ZJv0BKpeBjGuGJxtCy74,9608
+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/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/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
 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/certoraBuildRust.py,sha256=l81mZHGOhfSL8jme6I_O_aAiu3wxdHAg-jPEFQvFFdg,5936
+certora_cli/CertoraProver/certoraCloudIO.py,sha256=oYhNAcyhQa97_5OrpFsewcD6sksoKD8aJz_Iw1-ihg8,53980
 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=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
-certora_cli/CertoraProver/certoraContext.py,sha256=trrOxYutHtSqg3ePwHecRBs3_derI5jPcNCWP_Ucm5I,25598
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=NKFbn9hgEQvZig2rgsfbvE-ppsYJHwHYUrkMZKpuGcI,67763
+certora_cli/CertoraProver/certoraContext.py,sha256=0AihMYuUAGHWjbiSOMiDM6FVW5OyvEAxE51GPnMxSKg,25821
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=9BY24VkDhZd6kB2mDibzi78LGznAQTRJlAVIOyAP9Rs,67842
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=3y8SGRJko0LW-D8HlWygcSSH6uyBKwwGY_jo8-puN_Q,46075
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=iSB2byuHmi1G4xG-ViVvBrZv7e1mdxPmlWdV3AaN_l4,46492
 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
@@ -60,12 +60,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubv
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
 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/CERTORA-CLI-VERSION-METADATA.json,sha256=Za6_27u1jrs62Skw_0bMZuvbB-ENszuOemxpampg4T8,146
+certora_jars/Typechecker.jar,sha256=LUqp9Z4alP8lgXwoIbRIYSiQKsmvvFhw8ggSnZ7OaXg,17135545
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-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.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_jars/CERTORA-CLI-VERSION-METADATA.json

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