certora-cli-alpha-master 20250518.14.2.661098__py3-none-macosx_10_9_universal2.whl → 20250519.2.7.870848__py3-none-macosx_10_9_universal2.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-20250518.14.2.661098.dist-info → certora_cli_alpha_master-20250519.2.7.870848.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250518.14.2.661098
+Version: 20250519.2.7.870848
 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 8882341.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 45f1619.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250518.14.2.661098.dist-info → certora_cli_alpha_master-20250519.2.7.870848.dist-info}/RECORD

@@ -10,7 +10,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
@@ -61,14 +61,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=R9E9aPwc_KCwTMph3hFX0Rm69Sx7DFVBWpCkm_QunPA,168
-certora_jars/Typechecker.jar,sha256=keJZ248XK3MQtN43l3tndiAdmSSshq3kpKngXHW-4fQ,17140305
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=cH4f8geIy_8bU97lrF8Zmyz0M8OAjXvQED8j9jOKcro,166
+certora_jars/Typechecker.jar,sha256=0vW4cEqcPovN3aRDfioQpOn6rzEcK4QhGMFRiQjJKps,17140305
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/METADATA,sha256=-HRq4JxreqM_VhJoKoqvDygAmtncOYd-KPKJhVU7QAY,1247
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250518.14.2.661098.dist-info/RECORD,,
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/METADATA,sha256=1T6IWqkd_gjIBd5KDDZbWcjWYDbo3FWkazulCfxdwD0,1246
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250519.2.7.870848.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "8882341", "timestamp": "20250518.14.2.661098", "version": "20250518.14.2.661098+8882341"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "45f1619", "timestamp": "20250519.2.7.870848", "version": "20250519.2.7.870848+45f1619"}