certora-cli-beta-mirror 8.4.1__py3-none-any.whl → 8.4.2__py3-none-any.whl

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

@@ -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.dist-info → certora_cli_beta_mirror-8.4.2.dist-info}/RECORD

@@ -9,6 +9,7 @@ certora_cli/certoraRanger.py,sha256=thJ4EKo-MFHklCk-7zJADZ-9SO6eCg1AFv88-QssLj0,
 certora_cli/certoraRun.py,sha256=3v3o_nMfdVHT-MSqTW0EYqyu2IjKsZvMcXwmfkOQaU8,6371
 certora_cli/certoraSolanaProver.py,sha256=1R1YnGHCofb05GqFgpxRh3ZmHkmwMm1hPM7rfeiEu7o,3250
 certora_cli/certoraSorobanProver.py,sha256=SYJKz5Sw-N0bJrSa1njRCE53R9_PMz7IWLhfamOjisk,2840
+certora_cli/certoraSuiProver.py,sha256=gRs-iihB35ZSEIQ5-hJN-wLgrHZlcfmpk76Wr6vza74,2827
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
 certora_cli/CertoraProver/certoraApp.py,sha256=RKJ2Krb_CzbRUvczbdE6FhUDrFcvrR8j0JS8MNWXX7s,1469
@@ -67,13 +68,13 @@ certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HC
 certora_cli/Shared/certoraUtils.py,sha256=b9qIZ90wW1ofZIlvdFyZRzoVg1HlkA6gfkTaKkVxcQU,59443
 certora_cli/Shared/certoraValidateFuncs.py,sha256=mYguICGfUwVZ9qPBFajss1xqHPDR-KRtskgERLum4AM,43225
 certora_cli/Shared/proverCommon.py,sha256=DUB-uEKjOkZ-8qil6xukPqfTynpigXW-gcrm0_kRUZY,11383
-certora_jars/ASTExtraction.jar,sha256=Ng8UDdDV61EIPjBh9-H0646LoeQLA2a5CNCFN3X49o0,20972809
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=yA1W1HSGmMNq1KsBK40KYMMLzLVdVJJzfvqFC8LyY3w,143
-certora_jars/Typechecker.jar,sha256=_t5VYHpbSKTCtZFYKkNWnvj9LBpGoVEQzHEZr-hPKoQ,20934968
+certora_jars/ASTExtraction.jar,sha256=yEtRtw8hLOSGOmWsQa_66YjGVbXyvXB0OLbRfDhI5bM,20972809
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=P_oGSX2EDYSi3oUK7qFchwRxBtq9npnHNvlIoTRYIzk,144
+certora_jars/Typechecker.jar,sha256=WuwClyJ0M5BV9_X2LXrGXEJp_cXFclLoCRGmX-Zhlv8,20934968
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.4.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.4.1.dist-info/METADATA,sha256=Mr1J2VrDcor8wTtGoMbxriQ541tjfeHXaRPXooRERIA,1286
-certora_cli_beta_mirror-8.4.1.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-8.4.1.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
-certora_cli_beta_mirror-8.4.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.4.1.dist-info/RECORD,,
+certora_cli_beta_mirror-8.4.2.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.4.2.dist-info/METADATA,sha256=L78T7D5oFXi5DL_Zx7T3Pq8i7L5dQeWk8V57xnSafrg,1286
+certora_cli_beta_mirror-8.4.2.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-8.4.2.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
+certora_cli_beta_mirror-8.4.2.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.4.2.dist-info/RECORD,,

{certora_cli_beta_mirror-8.4.1.dist-info → certora_cli_beta_mirror-8.4.2.dist-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_jars/CERTORA-CLI-VERSION-METADATA.json

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