certora-cli-alpha-master 20250914.16.54.139374__py3-none-any.whl → 20250915.8.25.409401__py3-none-any.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/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.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: 20250914.16.54.139374
+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 b6ca649.                    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-20250914.16.54.139374.dist-info → certora_cli_alpha_master-20250915.8.25.409401.dist-info}/RECORD

@@ -12,7 +12,7 @@ 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
@@ -64,16 +64,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=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/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-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=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-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_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=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+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": "b6ca649", "timestamp": "20250914.16.54.139374", "version": "20250914.16.54.139374+b6ca649"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "977b242", "timestamp": "20250915.8.25.409401", "version": "20250915.8.25.409401+977b242"}