certora-cli-alpha-master 20250515.12.1.492548__py3-none-any.whl → 20250515.14.14.197753__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -2678,7 +2678,8 @@ class CertoraBuildGenerator:
2678
2678
  self.handle_links()
2679
2679
  self.handle_struct_links()
2680
2680
  self.handle_contract_extensions()
2681
- self.handle_erc7201_annotations()
2681
+ if self.context.storage_extension_annotation:
2682
+ self.handle_erc7201_annotations()
2682
2683
  self.handle_storage_extension_harnesses()
2683
2684
 
2684
2685
  def extract_slayout(self, original_file: str, ns_storage: Set[NameSpacedStorage]) -> NewStorageInfo:
@@ -2711,6 +2712,14 @@ class CertoraBuildGenerator:
2711
2712
  var_to_slot = storageExtension.write_harness_contract(tmp_file, harness_name, ns_storage)
2712
2713
  tmp_file.flush()
2713
2714
 
2715
+ if self.context.extract_storage_extension_annotation:
2716
+ # If the flag is set, save the storage extension contract
2717
+ build_dir = Util.get_build_dir()
2718
+ shutil.copyfile(
2719
+ Path(tmp_file.name),
2720
+ build_dir / f"{Path(original_file).stem}_storage_extension.sol"
2721
+ )
2722
+
2714
2723
  # Add harness to compiler map
2715
2724
  storageExtension.add_harness_to_compiler_map(
2716
2725
  original_file,
@@ -998,6 +998,24 @@ class EvmAttributes(AttrUtil.Attributes):
998
998
  disables_build_cache=False
999
999
  )
1000
1000
 
1001
+ STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
1002
+ arg_type=AttrUtil.AttrArgType.BOOLEAN,
1003
+ argparse_args={
1004
+ 'action': AttrUtil.STORE_TRUE
1005
+ },
1006
+ affects_build_cache_key=True,
1007
+ disables_build_cache=False
1008
+ )
1009
+
1010
+ EXTRACT_STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
1011
+ arg_type=AttrUtil.AttrArgType.BOOLEAN,
1012
+ argparse_args={
1013
+ 'action': AttrUtil.STORE_TRUE
1014
+ },
1015
+ affects_build_cache_key=False,
1016
+ disables_build_cache=False
1017
+ )
1018
+
1001
1019
  OPTIMISTIC_HASHING = AttrUtil.AttributeDefinition(
1002
1020
  arg_type=AttrUtil.AttrArgType.BOOLEAN,
1003
1021
  help_msg="Bound the length of data (with potentially unbounded length) to the value given in "
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: certora-cli-alpha-master
3
- Version: 20250515.12.1.492548
3
+ Version: 20250515.14.14.197753
4
4
  Summary: Runner for the Certora Prover
5
5
  Home-page: https://pypi.org/project/certora-cli-alpha-master
6
6
  Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
37
37
  Dynamic: requires-python
38
38
  Dynamic: summary
39
39
 
40
- Commit 6ae6ea8. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
40
+ Commit a3386a0. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
@@ -9,7 +9,7 @@ certora_cli/certoraSolanaProver.py,sha256=zGDAnSED8CoAkQN6wtPcbK_nIJMVt72VB_AqiO
9
9
  certora_cli/certoraSorobanProver.py,sha256=jop6hkRyOLYYWJsnuGK_OHsyt6V_SaPmC5y02Y4CLpo,9628
10
10
  certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
11
11
  certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
12
- certora_cli/CertoraProver/certoraBuild.py,sha256=udM10sNC4uYo88e_39JBbzXyAJjL-7KsAnINFApajYE,211159
12
+ certora_cli/CertoraProver/certoraBuild.py,sha256=05Sk3sGp6pFJXxBXoobCInZHWQIidieNmZZXxhO31CE,211583
13
13
  certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
14
14
  certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
15
15
  certora_cli/CertoraProver/certoraBuildRust.py,sha256=l81mZHGOhfSL8jme6I_O_aAiu3wxdHAg-jPEFQvFFdg,5936
@@ -19,7 +19,7 @@ certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FM
19
19
  certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
20
20
  certora_cli/CertoraProver/certoraConfigIO.py,sha256=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
21
21
  certora_cli/CertoraProver/certoraContext.py,sha256=0AihMYuUAGHWjbiSOMiDM6FVW5OyvEAxE51GPnMxSKg,25821
22
- certora_cli/CertoraProver/certoraContextAttributes.py,sha256=9BY24VkDhZd6kB2mDibzi78LGznAQTRJlAVIOyAP9Rs,67842
22
+ certora_cli/CertoraProver/certoraContextAttributes.py,sha256=aPLg30hxQQlnWsqRUG-6KhLyu1gcyvhmRl3F5rV4vqI,68389
23
23
  certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
24
24
  certora_cli/CertoraProver/certoraContextValidator.py,sha256=iSB2byuHmi1G4xG-ViVvBrZv7e1mdxPmlWdV3AaN_l4,46492
25
25
  certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
@@ -62,12 +62,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubv
62
62
  certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
63
63
  certora_cli/Shared/certoraUtils.py,sha256=khp1BAlpW0WwMq92u887R05nPDqWAnLkY1kVk2ZT0Ek,55147
64
64
  certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
65
- certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=KQMCMvVN7zjvdhzSDXdIeKFW9pNz_Afjqm2r8i1poxg,168
66
- certora_jars/Typechecker.jar,sha256=-U2ZDaeF4aX9GuOHs-CjlICwj7VXo9iAxZGrUHDJ6gw,17140168
65
+ certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=eSogGszSZjRVbrnkcNqJIh42r2sOIIp6iVI0yfTGC-Q,170
66
+ certora_jars/Typechecker.jar,sha256=aCeXen4yZMboH9sOjpRdDbYDuEh90SlANEJRbdRbwZQ,17140168
67
67
  certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
68
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
69
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/METADATA,sha256=24Zv6JBvsMsAmobJKfKpa51TOhZ6gqNT3SLweOdAAzY,1247
70
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
71
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
72
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
73
- certora_cli_alpha_master-20250515.12.1.492548.dist-info/RECORD,,
68
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
69
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/METADATA,sha256=-DKmkodc7u168msv3JLyGV3JTf6txh592h74J8VELhQ,1248
70
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
71
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
72
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
73
+ certora_cli_alpha_master-20250515.14.14.197753.dist-info/RECORD,,
@@ -1 +1 @@
1
- {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "6ae6ea8", "timestamp": "20250515.12.1.492548", "version": "20250515.12.1.492548+6ae6ea8"}
1
+ {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "a3386a0", "timestamp": "20250515.14.14.197753", "version": "20250515.14.14.197753+a3386a0"}
Binary file