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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250914.16.54.139374
+Version: 20250915.11.37.642650
 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 b6ca649.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 76b9760.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250915.11.37.642650/README.md

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

{certora_cli_alpha_master-20250914.16.54.139374 → certora_cli_alpha_master-20250915.11.37.642650}/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_alpha_master-20250914.16.54.139374 → certora_cli_alpha_master-20250915.11.37.642650}/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-20250914.16.54.139374 → certora_cli_alpha_master-20250915.11.37.642650/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250914.16.54.139374
+Version: 20250915.11.37.642650
 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 b6ca649.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 76b9760.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

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

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

@@ -1 +0,0 @@
-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

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