certora-cli-alpha-master 20250913.0.7.15157__py3-none-macosx_10_9_universal2.whl → 20250915.8.25.409401__py3-none-macosx_10_9_universal2.whl

certora_cli/CertoraProver/certoraBuild.py

@@ -3817,6 +3817,14 @@ def build_source_tree(sources: Set[Path], context: CertoraContext, overwrite: bo
     cwd_file_path.parent.mkdir(parents=True, exist_ok=True)
     cwd_file_path.touch()
 
+    # copy context.forge_remappings to remappings.txt in the source tree, overwriting any existing remappings.txt
+    forge_remappings = getattr(context, 'forge_remappings', None)
+    if forge_remappings:
+        remappings_file_path = Util.get_certora_sources_dir() / context.cwd_rel_in_sources / Util.REMAPPINGS_FILE
+        with remappings_file_path.open("w") as remap_file:
+            for remap in context.forge_remappings:
+                remap_file.write(remap + "\n")
+
     #  the empty file .project_directory is written in the source tree to denote the project directory
     rust_proj_dir = getattr(context, 'rust_project_directory', None)
     if rust_proj_dir:

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/Shared/certoraUtils.py

@@ -1418,6 +1418,8 @@ def handle_remappings_file(context: SimpleNamespace) -> List[str]:
     elif find_nearest_foundry_toml():
         remappings = get_mappings_from_forge_remappings()
 
+    context.forge_remappings = remappings
+
     return remappings
 
 

{certora_cli_alpha_master-20250913.0.7.15157.dist-info → certora_cli_alpha_master-20250915.8.25.409401.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250913.0.7.15157
+Version: 20250915.8.25.409401
 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 977b242.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250913.0.7.15157.dist-info → certora_cli_alpha_master-20250915.8.25.409401.dist-info}/RECORD

@@ -13,11 +13,11 @@ certora_cli/certoraSorobanProver.py,sha256=SYJKz5Sw-N0bJrSa1njRCE53R9_PMz7IWLhfa
 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
-certora_cli/CertoraProver/certoraBuild.py,sha256=Yn-J7QKxQvtp1uvs03mOfj2w7N_9XixnDmCgoxM-dWM,223495
+certora_cli/CertoraProver/certoraBuild.py,sha256=ileKhlWeKmt5VADQxR8RyB9UzsoWHaMsiOsVkdEToMs,223972
 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
@@ -65,16 +65,16 @@ certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99w
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
 certora_cli/Shared/certoraAttrUtil.py,sha256=Nw8ban5Axp6c6dT-KJfCD9i9tKnGk1DbvRDDNH3--DU,8574
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
-certora_cli/Shared/certoraUtils.py,sha256=buUE95PnbpDEbYEZss_jcP7pWCRJhXnfV-eOA6-zvYM,58407
+certora_cli/Shared/certoraUtils.py,sha256=msCKShnEQCJuXvbbF2YVDs_lAKZclnVIZoYNG0Qe63U,58450
 certora_cli/Shared/certoraValidateFuncs.py,sha256=BPLuVsS3yAcYIuCvkXtDuFQKf2qaT74TIddB0lM84yM,42508
 certora_cli/Shared/proverCommon.py,sha256=uZkl9PDLPj81kKRnBnlPUmvhMZovNP25_74No_7jaQ4,11215
-certora_jars/ASTExtraction.jar,sha256=YX7Rv-nVvdg8oMZ9flNjsgJ8YVMgUcVNp2O6W33JoZA,17623191
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=BSBSGmQmbU_1cfa3tj7lqUymeQWZOQVwFOct4lSrLDo,166
-certora_jars/Typechecker.jar,sha256=Wbg32wRM94ui0c1pTXRqK7Mb1xPyOflCxHOmltwKRuU,17585348
+certora_jars/ASTExtraction.jar,sha256=ikcKnHuLhUhMA7wKNBwvv84DyGYpS_SfcCPPfBCB0mE,17623191
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=ASw0g48SyKZn3GL5LO9iJJA056u0ooSEI166CXsDt5s,168
+certora_jars/Typechecker.jar,sha256=BoMtRNf45c1hq-15kXUnLHAmkn2vbLB5-a4Uf79M7fw,17585348
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/METADATA,sha256=r3N0N3QdUSKlhvJbuOghN2aZjUyhVOcwY3pwTPCAcyU,1301
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250913.0.7.15157.dist-info/RECORD,,
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/METADATA,sha256=Bp0nksSnTPr2DEJJfriff8r66Lf5Briix6GsCnia3B0,1303
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250915.8.25.409401.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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