certora-cli-alpha-master 20250911.18.57.988170__py3-none-macosx_10_9_universal2.whl → 20250914.16.54.139374__py3-none-macosx_10_9_universal2.whl

certora_cli/CertoraProver/certoraBuildSui.py

@@ -15,6 +15,7 @@
 
 from __future__ import annotations
 
+import subprocess
 import sys
 from pathlib import Path
 
@@ -37,13 +38,13 @@ log = logging.getLogger(__name__)
 
 def build_sui_project(context: CertoraContext, timings: Dict) -> None:
     """
-    Compile the Rust artefact and record elapsed time in *timings*.
+    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 Rust target")
+    log.debug("Build Sui target")
     start = time.perf_counter()
     set_sui_build_directory(context)
     timings["buildTime"] = round(time.perf_counter() - start, 4)
@@ -52,17 +53,60 @@ def build_sui_project(context: CertoraContext, timings: Dict) -> None:
 
 
 def set_sui_build_directory(context: CertoraContext) -> None:
-    assert context.move_path, "build_sui_project: expecting move_path to link to a build directory"
+    sources: Set[Path] = set()
 
-    shutil.copytree(context.move_path, Util.get_build_dir() / Path(context.move_path).name)
+    # 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)
 
-    sources: Set[Path] = set()
+    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-20250911.18.57.988170.dist-info → certora_cli_alpha_master-20250914.16.54.139374.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250911.18.57.988170
+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 dde4991.                    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-20250911.18.57.988170.dist-info → certora_cli_alpha_master-20250914.16.54.139374.dist-info}/RECORD

@@ -17,7 +17,7 @@ certora_cli/CertoraProver/certoraBuild.py,sha256=Yn-J7QKxQvtp1uvs03mOfj2w7N_9Xix
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=YnZmBZ_gCIbLwExgK5oxFlVDQGe4_YuGIpDLMy589E0,13318
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=hO0w3YK9V9gZsTbh4gxxlnEAaOiubUwfzNEw6uL1HaE,14841
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
-certora_cli/CertoraProver/certoraBuildSui.py,sha256=oOY6l3JnxYtFl3i3ibEcOp69x0mKsFg4Z86UnVC6CwY,2383
+certora_cli/CertoraProver/certoraBuildSui.py,sha256=zMXD2XnC4oqRDzPcBvSZmVquL3UG5paBZkfUT3JPbYY,4180
 certora_cli/CertoraProver/certoraCloudIO.py,sha256=99IRWSA4wAF1q_yu7m1IpDlybMVqtupW_C5qa3Xrhs0,54351
 certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=Rln6LsqMp-u0H2fAFulTLAn7GW-j3ox2XZSz0ghdjk0,14116
 certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=i31dkYt8kwlX44SHZtV_b8QI1Egi6cbB5-uuh5beYN0,12630
@@ -68,13 +68,13 @@ certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HC
 certora_cli/Shared/certoraUtils.py,sha256=buUE95PnbpDEbYEZss_jcP7pWCRJhXnfV-eOA6-zvYM,58407
 certora_cli/Shared/certoraValidateFuncs.py,sha256=BPLuVsS3yAcYIuCvkXtDuFQKf2qaT74TIddB0lM84yM,42508
 certora_cli/Shared/proverCommon.py,sha256=uZkl9PDLPj81kKRnBnlPUmvhMZovNP25_74No_7jaQ4,11215
-certora_jars/ASTExtraction.jar,sha256=ZP72Jr6BT-JQ9g2M_bPp2O9iMY-a7Jek7uciQXkq808,17623191
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=R2YjfGuz8R0DhrWs2NzmBUYwFIhJ1AseiXXHATJFRcA,170
-certora_jars/Typechecker.jar,sha256=TJGJGaeVPcMKr6zqhNqPGrrWaJ0lI9j4eHj19_SCeeA,17585348
+certora_jars/ASTExtraction.jar,sha256=2uAu_Ro_5nR-lV8aTpAuI4OJxMYwzmr1iE6vlvTmM3o,17623191
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=pBH1aVsSx61BhhCRxVk642ByMacGWg0wGZxbddp_m_Y,170
+certora_jars/Typechecker.jar,sha256=ql7Irf3frh0Tl2zGYtPD8vcvCYpuXbipCljUG13nrbE,17585348
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/METADATA,sha256=c92ZSTydVoYYLeIxfr0iYJbYF8W_KhOUzMHhvdMBI2g,1304
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250911.18.57.988170.dist-info/RECORD,,
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/METADATA,sha256=jT5lPyqBaYqzLoRkS2mOmRJMJVMxJJmTOaPfFwYGhe8,1304
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250914.16.54.139374.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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