certora-cli-alpha-master 20250913.0.7.15157__tar.gz → 20250914.16.54.139374__tar.gz

{certora_cli_alpha_master-20250913.0.7.15157/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250914.16.54.139374}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250913.0.7.15157
+Version: 20250914.16.54.139374
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit e448c2c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b6ca649.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250914.16.54.139374/README.md

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

certora_cli_alpha_master-20250914.16.54.139374/certora_cli/CertoraProver/certoraBuildSui.py

@@ -0,0 +1,112 @@
+#     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/>.
+
+from __future__ import annotations
+
+import subprocess
+import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
+import shutil
+import time
+import logging
+from pathlib import Path
+from typing import Set, Dict
+
+from CertoraProver.certoraBuild import build_source_tree
+from CertoraProver.certoraContextClass import CertoraContext
+from Shared import certoraUtils as Util
+
+
+log = logging.getLogger(__name__)
+
+
+def build_sui_project(context: CertoraContext, timings: Dict) -> None:
+    """
+    Compile the Sui artefact and record elapsed time in *timings*.
+
+    Args:
+        context: The CertoraContext object containing the configuration.
+        timings: A dictionary to store timing information.
+    """
+    log.debug("Build Sui target")
+    start = time.perf_counter()
+    set_sui_build_directory(context)
+    timings["buildTime"] = round(time.perf_counter() - start, 4)
+    if context.test == str(Util.TestValue.AFTER_BUILD):
+        raise Util.TestResultsReady(context)
+
+
+def set_sui_build_directory(context: CertoraContext) -> None:
+    sources: Set[Path] = set()
+
+    # If no move_path was specified, try to build the package
+    if not context.move_path:
+        move_toml_file = Util.find_file_in_parents("Move.toml")
+        if not move_toml_file:
+            raise Util.CertoraUserInputError("Could not find Move.toml, and no move_path was specified.")
+        sources.add(move_toml_file.absolute())
+        run_sui_build(context, move_toml_file.parent)
+
+    assert context.move_path, "expecting move_path to be set after build"
+    move_dir = Path(context.move_path)
+    assert move_dir.exists(), f"Output path '{move_dir}' does not exist"
+    assert move_dir.is_dir(), f"Output path '{move_dir}' is not a directory"
+
+    # Add all source files.  We get these from the Sui build output, because it includes dependencies as well, and is
+    # available even if we didn't run the build ourselves.
+    sources.update(move_dir.rglob("*.move"))
+
+    # Add conf file if it exists
+    if getattr(context, 'conf_file', None) and Path(context.conf_file).exists():
+        sources.add(Path(context.conf_file).absolute())
+
+    # Copy the binary modules and source maps
+    shutil.copytree(move_dir,
+                    Util.get_build_dir() / move_dir.name,
+                    ignore=shutil.ignore_patterns('*.move'))
+
+    try:
+        # Create generators
+        build_source_tree(sources, context)
+
+    except Exception as e:
+        raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")
+
+def run_sui_build(context: CertoraContext, package_dir: Path) -> None:
+    assert not context.move_path, "run_sui_build: expecting move_path to be empty"
+
+    build_cmd = ["sui", "move", "build", "--test", "--path", str(package_dir)]
+
+    try:
+        build_cmd_text = ' '.join(build_cmd)
+        log.info(f"Building by calling `{build_cmd_text}`")
+        result = subprocess.run(build_cmd, capture_output=False)
+
+        # Check if the script executed successfully
+        if result.returncode != 0:
+            raise Util.CertoraUserInputError(f"Error running `{build_cmd_text}`")
+
+        context.move_path = str(package_dir / "build")
+
+    except Util.TestResultsReady as e:
+        raise e
+    except Util.CertoraUserInputError as e:
+        raise e
+    except Exception as e:
+        raise Util.CertoraUserInputError(f"An unexpected error occurred: {e}")

{certora_cli_alpha_master-20250913.0.7.15157 → certora_cli_alpha_master-20250914.16.54.139374/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250913.0.7.15157
+Version: 20250914.16.54.139374
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit e448c2c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b6ca649.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250914.16.54.139374/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "b6ca649", "timestamp": "20250914.16.54.139374", "version": "20250914.16.54.139374+b6ca649"}

{certora_cli_alpha_master-20250913.0.7.15157 → certora_cli_alpha_master-20250914.16.54.139374}/setup.py

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

certora_cli_alpha_master-20250913.0.7.15157/README.md

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

certora_cli_alpha_master-20250913.0.7.15157/certora_cli/CertoraProver/certoraBuildSui.py

@@ -1,68 +0,0 @@
-#     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/>.
-
-from __future__ import annotations
-
-import sys
-from pathlib import Path
-
-scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
-sys.path.insert(0, str(scripts_dir_path))
-
-import shutil
-import time
-import logging
-from pathlib import Path
-from typing import Set, Dict
-
-from CertoraProver.certoraBuild import build_source_tree
-from CertoraProver.certoraContextClass import CertoraContext
-from Shared import certoraUtils as Util
-
-
-log = logging.getLogger(__name__)
-
-
-def build_sui_project(context: CertoraContext, timings: Dict) -> None:
-    """
-    Compile the Rust artefact and record elapsed time in *timings*.
-
-    Args:
-        context: The CertoraContext object containing the configuration.
-        timings: A dictionary to store timing information.
-    """
-    log.debug("Build Rust target")
-    start = time.perf_counter()
-    set_sui_build_directory(context)
-    timings["buildTime"] = round(time.perf_counter() - start, 4)
-    if context.test == str(Util.TestValue.AFTER_BUILD):
-        raise Util.TestResultsReady(context)
-
-
-def set_sui_build_directory(context: CertoraContext) -> None:
-    assert context.move_path, "build_sui_project: expecting move_path to link to a build directory"
-
-    shutil.copytree(context.move_path, Util.get_build_dir() / Path(context.move_path).name)
-
-    sources: Set[Path] = set()
-    if getattr(context, 'conf_file', None) and Path(context.conf_file).exists():
-        sources.add(Path(context.conf_file).absolute())
-
-    try:
-        # Create generators
-        build_source_tree(sources, context)
-
-    except Exception as e:
-        raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")

certora_cli_alpha_master-20250913.0.7.15157/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "e448c2c", "timestamp": "20250913.0.7.015157", "version": "20250913.0.7.015157+e448c2c"}