certora-cli-alpha-master 20250526.10.46.667239__py3-none-any.whl → 20250526.12.4.11266__py3-none-any.whl

certora_cli/CertoraProver/certoraBuild.py

@@ -3542,8 +3542,9 @@ class CertoraBuildGenerator:
                 raise Util.CertoraUserInputError(f"collect_sources: {path_to_file} does not exist cwd - {Path.cwd()}."
                                                  f"abs - {os.path.normpath(Path.cwd() / path_to_file)}")
 
-        sources = set()
-        sources |= sources_from_SDCs
+        sources = set(sources_from_SDCs)
+        if context.files:
+            sources.update(Path(p) for p in context.files)  # all files in "files" attribute are uploaded
         sources |= certora_verify_generator.get_spec_files()
         if Util.PACKAGE_FILE.exists():
             add_to_sources(Util.PACKAGE_FILE)
@@ -3652,7 +3653,8 @@ def build_source_tree(sources: Set[Path], context: CertoraContext, overwrite: bo
         build_logger.debug("Couldn't copy repro conf to certora sources.", exc_info=e)
         raise
 
-def build_from_scratch(certora_build_generator: CertoraBuildGenerator,
+def build_from_scratch(context: CertoraContext,
+                       certora_build_generator: CertoraBuildGenerator,
                        certora_verify_generator: CertoraVerifyGenerator,
                        build_cache_enabled: bool) -> CachedFiles:
     """
@@ -3678,9 +3680,15 @@ def build_from_scratch(certora_build_generator: CertoraBuildGenerator,
     may_store_in_build_cache = True
     absolute_sources_dir = Util.get_certora_sources_dir().absolute()
     for sdc in certora_build_generator.SDCs.values():
+
+        # add to cache also source files that were found in the SDCs (e.g., storage extensions)
+        paths_set = sdc.all_contract_files
+        for p in context.files:
+            paths_set.add(Path(p).absolute())
+
         # the contract files in SDCs are relative to .certora_sources. Which isn't good for us here.
         # Need to be relative to original paths
-        for f in sdc.all_contract_files:
+        for f in paths_set:
             if is_relative_to(f, absolute_sources_dir):
                 rel_f = f.relative_to(absolute_sources_dir)
             else:
@@ -3729,7 +3737,7 @@ def build_from_cache_or_scratch(context: CertoraContext,
     cached_files: Optional[CachedFiles] = None
 
     if not context.build_cache:
-        cached_files = build_from_scratch(certora_build_generator,
+        cached_files = build_from_scratch(context, certora_build_generator,
                                           certora_verify_generator,
                                           False)
         return cache_hit, False, cached_files
@@ -3740,7 +3748,7 @@ def build_from_cache_or_scratch(context: CertoraContext,
         build_cache_disabling_options = certora_build_cache_manager.cache_disabling_options(context)
         build_logger.warning("Requested to enable the build cache, but the build cache is not applicable "
                              f"to this run because of the given options: {build_cache_disabling_options}")
-        cached_files = build_from_scratch(certora_build_generator,
+        cached_files = build_from_scratch(context, certora_build_generator,
                                           certora_verify_generator,
                                           False)
         return cache_hit, False, cached_files
@@ -3766,7 +3774,7 @@ def build_from_cache_or_scratch(context: CertoraContext,
         cache_hit = True
     else:
         # rebuild
-        cached_files = build_from_scratch(certora_build_generator,
+        cached_files = build_from_scratch(context, certora_build_generator,
                                           certora_verify_generator,
                                           True)
 

{certora_cli_alpha_master-20250526.10.46.667239.dist-info → certora_cli_alpha_master-20250526.12.4.11266.dist-info}/METADATA

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

{certora_cli_alpha_master-20250526.10.46.667239.dist-info → certora_cli_alpha_master-20250526.12.4.11266.dist-info}/RECORD

@@ -9,7 +9,7 @@ certora_cli/certoraSolanaProver.py,sha256=7hu-YJJNA_P5eAJq_jYh6IGjiUf0PegGUBRCJ5
 certora_cli/certoraSorobanProver.py,sha256=qE6b_vicC8KgOvUz7UTOaDuXT3UW0MMhq3keQgUVvzs,2865
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=ZwCdvywuuA8as3M88YgSOzYztjCz5bqDo3jTfEGeZvI,211678
+certora_cli/CertoraProver/certoraBuild.py,sha256=WMaRg4VNdH_1k-GTfv-0USfIkQ7Gtdg3Y23bZHQVLVQ,212071
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=l81mZHGOhfSL8jme6I_O_aAiu3wxdHAg-jPEFQvFFdg,5936
@@ -64,12 +64,12 @@ certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aO
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
 certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
 certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=nrtsglbwgyZPzGdr23lHWKalu2POBnxoA6V6y4ViRK0,170
-certora_jars/Typechecker.jar,sha256=asL-XBtoLtZk2Zl6p-e9MvBHf-QADASbH07a4bOmYas,17137905
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Z5fTvHoKmZzYhjb3QApl0TWAxkJtDRGcotEdLTpIZgI,168
+certora_jars/Typechecker.jar,sha256=YmHkpQvlOMlyWMVGwrG1zP2g54WRTVwCFhPOvtxnEvM,17137905
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/METADATA,sha256=77D42LlvcHHBohGZk-hiqV9mGbPTHhRX5o8QsRW_Ggg,1248
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250526.10.46.667239.dist-info/RECORD,,
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/METADATA,sha256=vAkoH7AfEB2W8grElDQcfbm3Y3G0LXK7MHiFpA-Fmis,1246
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250526.12.4.11266.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "f0f5ae7", "timestamp": "20250526.10.46.667239", "version": "20250526.10.46.667239+f0f5ae7"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "fb0ab44", "timestamp": "20250526.12.4.011266", "version": "20250526.12.4.011266+fb0ab44"}