certora-cli-alpha-master 20250517.3.21.283227__py3-none-any.whl → 20250518.15.40.374185__py3-none-any.whl

certora_cli/CertoraProver/certoraBuild.py

@@ -2794,7 +2794,10 @@ class CertoraBuildGenerator:
                         continue
 
                     # Now that we have all the storage layout information, extract it once
-                    slayouts[(imported_file, def_node.get("name"))] = self.extract_slayout(imported_file, ns_storage)
+                    slayouts[key] = self.extract_slayout(imported_file, ns_storage)
+
+        if self.context.test == str(Util.TestValue.STORAGE_EXTENSION_LAYOUT):
+            raise Util.TestResultsReady(slayouts)
 
         if not slayouts:
             # No contracts with namespaced storage found

certora_cli/Shared/certoraUtils.py

@@ -1277,6 +1277,7 @@ class TestValue(NoValEnum):
     AFTER_RULE_SPLIT = auto()
     SOLANA_BUILD_CMD = auto()
     CHECK_ZIP = auto()
+    STORAGE_EXTENSION_LAYOUT = auto()
 
 class FeValue(NoValEnum):
     PRODUCTION = auto()

{certora_cli_alpha_master-20250517.3.21.283227.dist-info → certora_cli_alpha_master-20250518.15.40.374185.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250517.3.21.283227
+Version: 20250518.15.40.374185
 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 7d56bea.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 189223d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250517.3.21.283227.dist-info → certora_cli_alpha_master-20250518.15.40.374185.dist-info}/RECORD

@@ -9,7 +9,7 @@ certora_cli/certoraSolanaProver.py,sha256=zGDAnSED8CoAkQN6wtPcbK_nIJMVt72VB_AqiO
 certora_cli/certoraSorobanProver.py,sha256=jop6hkRyOLYYWJsnuGK_OHsyt6V_SaPmC5y02Y4CLpo,9628
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=05Sk3sGp6pFJXxBXoobCInZHWQIidieNmZZXxhO31CE,211583
+certora_cli/CertoraProver/certoraBuild.py,sha256=ZwCdvywuuA8as3M88YgSOzYztjCz5bqDo3jTfEGeZvI,211678
 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
@@ -60,14 +60,14 @@ certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99w
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
 certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubvVKh78ohs,8373
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
-certora_cli/Shared/certoraUtils.py,sha256=khp1BAlpW0WwMq92u887R05nPDqWAnLkY1kVk2ZT0Ek,55147
+certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aOYhoOY,55185
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=jtjjsG_kdw2MFrMd1ogxWKahv8XxTsXCIhMSdaD_AUE,168
-certora_jars/Typechecker.jar,sha256=6cBy37eXbUIsDjiFiReaz0mJKEVGroykEmyEypR6Ix4,17140282
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Hc5bwMPVDmDA97p60hd7fQSduPZGEa3UXpbkFVxnMyw,170
+certora_jars/Typechecker.jar,sha256=te32ipz75sIl-TiJ_EuGRzYwdyb2t6gDAQ9gioFPajc,17140305
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/METADATA,sha256=tRiSb9o2chvUkKsVvyTM9kr5VogimVKlV8jDky2H9kA,1247
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250517.3.21.283227.dist-info/RECORD,,
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/METADATA,sha256=gNOjwVGJGO7LGQWbU8d4SJ8Ep-R-YkbRpqjNs4gRLRg,1248
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250518.15.40.374185.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "7d56bea", "timestamp": "20250517.3.21.283227", "version": "20250517.3.21.283227+7d56bea"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "189223d", "timestamp": "20250518.15.40.374185", "version": "20250518.15.40.374185+189223d"}