certora-cli-beta-mirror 8.4.1__tar.gz → 8.4.2__tar.gz

{certora_cli_beta_mirror-8.4.1/certora_cli_beta_mirror.egg-info → certora_cli_beta_mirror-8.4.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.4.1
+Version: 8.4.2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 6df223c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b945191.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-8.4.2/README.md

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

certora_cli_beta_mirror-8.4.2/certora_cli/certoraSuiProver.py

@@ -0,0 +1,93 @@
+#!/usr/bin/env python3
+#     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/>.
+
+
+import sys
+import logging
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
+from typing import List, Optional, Dict
+
+import CertoraProver.certoraApp as App
+
+from CertoraProver.certoraBuildSui import build_sui_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 run_sui_prover(args: List[str]) -> Optional[CertoraRunResult]:
+    """
+    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 = build_context(args, App.SuiApp)
+    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_dump_metadata(context)
+    collect_and_dump_config_layout(context)
+
+    # Version validation
+    ensure_version_compatibility(context)
+
+    # Build the application
+    build_sui_project(context, timings)
+
+    # Run verification if requested
+    if context.build_only:
+        return return_value
+
+    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 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!
+    """
+    run_sui_prover(sys.argv[1:])
+
+
+if __name__ == '__main__':
+    entry_point()

{certora_cli_beta_mirror-8.4.1 → certora_cli_beta_mirror-8.4.2/certora_cli_beta_mirror.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.4.1
+Version: 8.4.2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 6df223c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b945191.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-8.4.1 → certora_cli_beta_mirror-8.4.2}/certora_cli_beta_mirror.egg-info/SOURCES.txt

@@ -13,6 +13,7 @@ certora_cli/certoraRanger.py
 certora_cli/certoraRun.py
 certora_cli/certoraSolanaProver.py
 certora_cli/certoraSorobanProver.py
+certora_cli/certoraSuiProver.py
 certora_cli/rustMutator.py
 certora_cli/CertoraProver/__init__.py
 certora_cli/CertoraProver/certoraApp.py

{certora_cli_beta_mirror-8.4.1 → certora_cli_beta_mirror-8.4.2}/certora_cli_beta_mirror.egg-info/entry_points.txt

@@ -7,3 +7,4 @@ certoraRanger = certora_cli.certoraRanger:entry_point
 certoraRun = certora_cli.certoraRun:entry_point
 certoraSolanaProver = certora_cli.certoraSolanaProver:entry_point
 certoraSorobanProver = certora_cli.certoraSorobanProver:entry_point
+certoraSuiProver = certora_cli.certoraSuiProver:entry_point

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

@@ -0,0 +1 @@
+{"name": "certora-cli-beta-mirror", "tag": "8.4.2", "branch": "", "commit": "b945191", "timestamp": "20251024.12.37.646479", "version": "8.4.2"}

{certora_cli_beta_mirror-8.4.1 → certora_cli_beta_mirror-8.4.2}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-beta-mirror",
-    version="8.4.1",
+    version="8.4.2",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 6df223c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit b945191.                    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(),
@@ -32,6 +32,7 @@ setuptools.setup(
             "certoraSorobanProver = certora_cli.certoraSorobanProver:entry_point",
             "certoraEVMProver = certora_cli.certoraEVMProver:entry_point",
             "certoraRanger = certora_cli.certoraRanger:entry_point",
+            "certoraSuiProver = certora_cli.certoraSuiProver:entry_point",
             "certoraCVLFormatter = certora_cli.certoraCVLFormatter:entry_point"
         ]
     },

certora_cli_beta_mirror-8.4.1/README.md

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

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

@@ -1 +0,0 @@
-{"name": "certora-cli-beta-mirror", "tag": "8.4.1", "branch": "", "commit": "6df223c", "timestamp": "20251021.7.13.438699", "version": "8.4.1"}