certora-cli-alpha-master 20250605.8.34.698591__py3-none-any.whl → 20250605.17.15.659237__py3-none-any.whl

certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py

@@ -42,6 +42,12 @@ def get_relevant_compiler(contract_file_path: Path, context: CertoraContext) ->
 
     if contract_file_path.is_absolute():
         contract_file_path = Path(os.path.relpath(contract_file_path, Path.cwd()))
+
+    # If the contract file is in the sources directory, we want to use the relative path from the "cwd" in the source tree.
+    if Util.get_certora_sources_dir() in contract_file_path.parents:
+        cwd_in_source = Util.get_certora_sources_dir() / context.cwd_rel_in_sources
+        contract_file_path = Path(os.path.relpath(contract_file_path, cwd_in_source))
+
     if context.compiler_map:
         match = match_path_to_mapping_key(contract_file_path, context.compiler_map)
         if match:

certora_cli/CertoraProver/certoraConfigIO.py

@@ -17,6 +17,7 @@ import json5
 import logging
 from pathlib import Path
 from typing import Dict, Any
+from collections import OrderedDict
 
 import CertoraProver.certoraContext as Ctx
 import CertoraProver.certoraContextAttributes as Attrs
@@ -75,7 +76,7 @@ def read_from_conf_file(context: CertoraContext) -> None:
 
     try:
         with conf_file_path.open() as conf_file:
-            context.conf_file_attr = json5.load(conf_file, allow_duplicate_keys=False)
+            context.conf_file_attr = json5.load(conf_file, allow_duplicate_keys=False, object_pairs_hook=OrderedDict)
             try:
                 check_conf_content(context)
             except Util.CertoraUserInputError as e:

certora_cli/CertoraProver/certoraContextAttributes.py

@@ -340,7 +340,7 @@ class EvmAttributes(AttrUtil.Attributes):
         default_desc="do not set via_ir during compilation unless solc_via_ir is set",
         argparse_args={
             'action': AttrUtil.UniqueStore,
-            'type': lambda value: Vf.parse_dict('solc_via_ir_map', value, bool)
+            'type': lambda value: Vf.parse_ordered_dict('solc_via_ir_map', value, bool)
         },
         affects_build_cache_key=True,
         disables_build_cache=False,
@@ -382,7 +382,7 @@ class EvmAttributes(AttrUtil.Attributes):
         default_desc="Uses the same Solidity EVM version for all contracts",
         argparse_args={
             'action': AttrUtil.UniqueStore,
-            'type': lambda value: Vf.parse_dict('solc_evm_version_map', value)
+            'type': lambda value: Vf.parse_ordered_dict('solc_evm_version_map', value)
         },
         affects_build_cache_key=True,
         disables_build_cache=False,
@@ -405,7 +405,7 @@ class EvmAttributes(AttrUtil.Attributes):
         default_desc="Uses the same Solidity compiler version for all contracts",
         argparse_args={
             'action': AttrUtil.UniqueStore,
-            'type': lambda value: Vf.parse_dict('solc_map', value)
+            'type': lambda value: Vf.parse_ordered_dict('solc_map', value)
         },
         affects_build_cache_key=True,
         disables_build_cache=False,
@@ -428,7 +428,7 @@ class EvmAttributes(AttrUtil.Attributes):
         default_desc="Uses the same compiler version for all contracts",
         argparse_args={
             'action': AttrUtil.UniqueStore,
-            'type': lambda value: Vf.parse_dict('compiler_map', value)
+            'type': lambda value: Vf.parse_ordered_dict('compiler_map', value)
         },
         affects_build_cache_key=True,
         disables_build_cache=False,
@@ -481,7 +481,7 @@ class EvmAttributes(AttrUtil.Attributes):
         default_desc="Compiles all contracts with the same optimization settings",
         argparse_args={
             'action': AttrUtil.UniqueStore,
-            'type': lambda value: Vf.parse_dict('solc_optimize_map', value)
+            'type': lambda value: Vf.parse_ordered_dict('solc_optimize_map', value)
         },
         affects_build_cache_key=True,
         disables_build_cache=False,

certora_cli/CertoraProver/certoraContextValidator.py

@@ -19,9 +19,8 @@ import re
 import sys
 import itertools
 import tempfile
-import fnmatch
 from pathlib import Path
-from typing import Dict, List, Tuple, Set, Any, Union, Optional
+from typing import Dict, List, Tuple, Set, Any, Union, OrderedDict
 
 import CertoraProver.certoraContext as Ctx
 import CertoraProver.certoraContextAttributes as Attrs
@@ -31,6 +30,7 @@ from Shared import certoraUtils as Util
 from Shared import certoraAttrUtil as AttrUtil
 from CertoraProver.certoraProjectScanner import scan_project
 
+
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
@@ -375,19 +375,15 @@ def convert_to_compiler_map(context: CertoraContext) -> None:
     if context.solc_map:
         context.compiler_map = context.solc_map
         context.solc_map = None
-    if context.solc:
-        context.compiler_map = {'*.sol': f'{context.solc}'}
-    if context.vyper:
-        context.compiler_map = {'*.vy': f'{context.vyper}'}
+
 
 def check_vyper_flag(context: CertoraContext) -> None:
     if context.vyper:
-        non_vy_paths = [path for path in context.files if not path.endswith(".vy")]
-        if non_vy_paths:
-            raise Util.CertoraUserInputError(f"vyper attribute can only be set for Vyper files: {non_vy_paths}")
+        vy_paths = [path for path in context.files if path.endswith(".vy")]
+        if not vy_paths:
+            validation_logger.warning("vyper attribute was set but no Vyper files were set")
         if context.solc:
             raise Util.CertoraUserInputError("cannot set both vyper attribute and solc attribute")
-        context.solc = context.vyper
 
 def check_contract_name_arg_inputs(context: CertoraContext) -> None:
     """
@@ -671,37 +667,6 @@ def check_mode_of_operation(context: CertoraContext) -> None:
         raise Util.CertoraUserInputError("You must use 'verify' when running the Certora Prover")
 
 
-def _normalize_maps(context: CertoraContext, map_attr_name: str, map_attr: Dict) -> Dict[str, str]:
-    """
-
-    :param context:
-    :param map_attr_name: name of the attribute e.g. solc_optimize_map
-    :param map_attr: the value of the map attribute, a dictionary mapping contract/file to a value
-    :return:
-
-    all solc_XXX_map attributes are used to set attributes for the Solidity compiler. The value is based on the
-    Solidity file to be compiled, therefore it translates all keys to a relative path to a file
-    """
-
-    def find_matching_files(context: CertoraContext, pattern: str) -> List[str]:
-        file_part = pattern.split(':')[0]
-        if Path(file_part).suffix == "":  # no suffix means the key is a contract
-            matching_contracts = fnmatch.filter(context.contracts, pattern)  # find matching contracts
-            return [context.contract_to_file[contract] for contract in matching_contracts]
-        else:
-            return [file_part]
-
-    new_map_attr: Dict[str, str] = {}
-    for (pattern, value) in map_attr.copy().items():
-        matching_files = find_matching_files(context, pattern)
-        for file in matching_files:
-            file = str(Path(file).resolve(strict=False).relative_to(Path.cwd()))
-            attr_value = new_map_attr.get(file)
-            if attr_value is None:  # key in file paths but no mapping yet
-                new_map_attr[file] = value
-    return new_map_attr
-
-
 def check_map_attributes(context: CertoraContext) -> None:
 
     map_attrs = Attrs.EvmAttributes.all_map_attrs()
@@ -718,27 +683,36 @@ def check_map_attributes(context: CertoraContext) -> None:
         # we also check the map value was not set to False explicitly in the conf file
         if base_attr and map_attr and not (base_attr is False and context.conf_options.get(base_attr) is not None):
             raise Util.CertoraUserInputError(f"You cannot use both '{attr_prefix}' and '{map_attr_name}' arguments")
-        if not isinstance(map_attr, dict):
-            raise RuntimeError(f"map_attr is not dictionary, got {map_attr}")
-        map_attr = _normalize_maps(context, map_attr_name, map_attr)
-        setattr(context, f"{map_attr_name}", map_attr)
-
-        sources_mappings: Dict[str, Optional[str]] = {file_path: None for file_path in context.file_paths}  # initially mapping files to None
-        for file in sources_mappings.keys():
-            match: Optional[str] = None
-            for (pattern, value) in map_attr.items():
-                if fnmatch.fnmatch(file, pattern):
-                    match = pattern
-                    break
-            if not match:
-                raise Util.CertoraUserInputError(f"No matching for {file} in {map_attr_name}. Pattens: {map_attr}")
-            elif not sources_mappings.get(file):  # key in file paths but no mapping yet
-                sources_mappings[file] = match
-
-        # Now we check if all sources were mapped
-        paths_not_set = [path for path, value in sources_mappings.items() if value is None]
-        if paths_not_set:
-            raise Util.CertoraUserInputError(f"{' '.join(paths_not_set)} was not set in {map_attr_name}")
+        if not isinstance(map_attr, OrderedDict):
+            raise RuntimeError(f"`map_attr` is not an ordered dictionary, got {map_attr}")
+
+        # handle contracts
+        # creating a copy since we cannot modify the OrderedDict while iterating over it
+        new_map_attr = map_attr.copy()
+
+        for key, value in map_attr.items():
+            key_parts = key.split(':')
+            if Path(key_parts[0]).suffix == "" and key_parts[0] in context.contract_to_file:
+                # key is a contract in a known file
+                contract_key = key_parts[0]
+                contract_file = context.contract_to_file[contract_key]
+                if contract_file in map_attr:
+                    if map_attr[contract_file] != value:
+                        # contract binding conflicts with an existing binding
+                        raise Util.CertoraUserInputError(f"mapping of `{key}` to `{value}` in `{map_attr_name}` conflicts"
+                                                         f" with an existing binding of `{contract_file}` to"
+                                                         f" `{map_attr[contract_file]}`")
+                else:
+                    # no binding for the contract file, so we add it to the attribute
+                    new_map_attr[contract_file] = value
+                    # move to head
+                    new_map_attr.move_to_end(contract_file, last=False)
+        setattr(context, map_attr_name, new_map_attr)
+
+        for path in context.file_paths:
+            match = Util.match_path_to_mapping_key(Path(path), new_map_attr)
+            if match is None:
+                raise RuntimeError(f'cannot match compiler to {path} from {map_attr_name}')
 
 
 def check_parametric_contracts(context: CertoraContext) -> None:

certora_cli/Shared/certoraUtils.py

@@ -14,7 +14,6 @@
 #     along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 import csv
-import fnmatch
 import json
 import os
 import subprocess
@@ -31,7 +30,7 @@ import urllib3.util
 from collections import defaultdict
 from types import SimpleNamespace
 
-from typing import Any, Callable, Dict, List, Optional, Set, Union, Generator, Tuple, Iterable, Sequence, TypeVar
+from typing import Any, Callable, Dict, List, Optional, Set, Union, Generator, Tuple, Iterable, Sequence, TypeVar, OrderedDict
 from pathlib import Path
 
 scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
@@ -1176,20 +1175,30 @@ class AbstractAndSingleton(Singleton, ABCMeta):
     pass
 
 
-def match_path_to_mapping_key(path: Path, m: Dict[str, str]) -> Optional[str]:
+def match_path_to_mapping_key(path: Path, m: OrderedDict[str, str]) -> Optional[str]:
     """
-    Matches the path to the best match in the dictionary's keys.
-    For example, given an absolute path `/Users/JohnDoe/Path/ToSolc/a.sol`, if the map contains
-    `b/a.sol` and `ToSolc/a.sol`, it will match on `ToSolc/a.sol`.
+    Matches the path to the first key in the map that matches the path.
+    paths may include wildcards
+
+    For example, if the ordered dictionary in compiler_map has the mapping:
+
+    dir/a.sol -> solc7.1
+    dir/*.sol -> solc6.3
+    **/*.sol -> 8.10
+
+    dir/a.sol will be matched by the first rule
+    dir/b.sol by the second rule
+    and
+    a.sol by the third rule
+
     @param path: the path to match against
     @param m: the map whose keys we're searching
     @return: the value from the map that best matches the path, None if not found.
     """
     for k, v in m.items():
-        if fnmatch.fnmatch(str(path), k):
+        if match_pattern_to_source(k, path):
             return v
-    return None
-
+    return None  # No match
 
 def find_in(dir_path: Path, file_to_find: Path) -> Optional[Path]:
     """
@@ -1452,3 +1461,31 @@ def eq_by(f: Callable[[T, T], bool], a: Sequence[T], b: Sequence[T]) -> bool:
     check if Sequences a and b are equal according to function f.
     """
     return len(a) == len(b) and all(map(f, a, b))
+
+def file_in_source_tree(file_path: Path) -> bool:
+    # if the file is under .certora_source, return True
+    file_path = Path(file_path).absolute()
+    parent_dir = get_certora_sources_dir().absolute()
+
+    try:
+        file_path.relative_to(parent_dir)
+        return True
+    except ValueError:
+        return False
+
+def match_pattern_to_source(pattern: str, file_path: Path) -> bool:
+
+    if file_in_source_tree(file_path):
+        base_dir = get_certora_sources_dir()
+    else:
+        base_dir = Path.cwd()
+
+    # Search for matches under base_dir
+    for candidate in base_dir.rglob(pattern):
+        try:
+            if os.path.samefile(candidate, file_path):
+                return True
+        except FileNotFoundError:
+            # candidate or file_path may not exist; skip safely
+            continue
+    return False

certora_cli/Shared/certoraValidateFuncs.py

@@ -18,6 +18,8 @@ import sys
 import argparse
 import json
 import logging
+from collections import OrderedDict
+
 import json5
 import re
 import urllib3.util
@@ -938,7 +940,7 @@ def validate_on_off(value: str) -> str:
     return __validate_enum_value(value, OnOffValue)
 
 
-def parse_dict(conf_key: str, input_string: str, value_type: Type = str) -> Dict[str, Union[str, bool]]:
+def parse_ordered_dict(conf_key: str, input_string: str, value_type: Type = str) -> OrderedDict[str, Union[str, bool]]:
     """
     convert CLI flag value string of the form <key>=<value>,<key>=<value>,.. to a Dict.
     Keys with different values raise an exception
@@ -971,7 +973,7 @@ def parse_dict(conf_key: str, input_string: str, value_type: Type = str) -> Dict
         raise argparse.ArgumentTypeError(f"{conf_key} argument {input_string} is of wrong format. Must be of format:"
                                          f"<key>=<value>[,..]")
 
-    return_dict = {}  # type: Dict[str, Union[str, bool]]
+    return_dict = OrderedDict()  # type: OrderedDict[str, Union[str, bool]]
 
     for match in input_string.split(','):
         key, value = match.split('=')

{certora_cli_alpha_master-20250605.8.34.698591.dist-info → certora_cli_alpha_master-20250605.17.15.659237.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250605.8.34.698591
+Version: 20250605.17.15.659237
 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 184993b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 74570f3.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250605.8.34.698591.dist-info → certora_cli_alpha_master-20250605.17.15.659237.dist-info}/RECORD

@@ -17,11 +17,11 @@ certora_cli/CertoraProver/certoraCloudIO.py,sha256=oYhNAcyhQa97_5OrpFsewcD6sksoK
 certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=waMo5_nzirDaK7aoPCfoS7jOqqi_6huRc-_jTrDcZO8,14252
 certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FMzcWSgu3v5SfFM_HOO2JpbCeY0,11787
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
-certora_cli/CertoraProver/certoraConfigIO.py,sha256=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
+certora_cli/CertoraProver/certoraConfigIO.py,sha256=uq-uNnjVBzg9Kh41fDqn-lnwSJXe4k2_iy5GTnQIDa8,7560
 certora_cli/CertoraProver/certoraContext.py,sha256=0AihMYuUAGHWjbiSOMiDM6FVW5OyvEAxE51GPnMxSKg,25821
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=-YHYvHmWr7RmIAT3eZ5wAxZDWY2nYkylxViFFnyhqPs,69066
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=tc5ieED4H1TaCG4FfEJmdx9b7NDyJzC3qlGfUbIFetg,69106
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=iSB2byuHmi1G4xG-ViVvBrZv7e1mdxPmlWdV3AaN_l4,46492
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=A7blCXdJTnxTh5x1w1fADinWtRUPJoAZC3bfPj3W3Hs,45333
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
 certora_cli/CertoraProver/certoraExtensionInfo.py,sha256=YlShzdoqJQgXXj3r0TJ3fir1KntIR99Rk8JN5qii2lk,2026
 certora_cli/CertoraProver/certoraJobList.py,sha256=FBIYgJ60I0Ok7vchfTbcuJJbiXgnfAhrONoVeZoHti4,11464
@@ -36,7 +36,7 @@ certora_cli/CertoraProver/erc7201.py,sha256=BME5kBZsDx6lgqLn7EE91I1cEOZtsnZ8BlRV
 certora_cli/CertoraProver/splitRules.py,sha256=HfSqsKeeLZDeOnv8TGgpPDHoaXgdVc0HOrLcGk-cU1Q,7681
 certora_cli/CertoraProver/storageExtension.py,sha256=BZC9HJygeLxqS5TmhNxbIrVNfH3kLEPjN1VjsWQi8s8,15922
 certora_cli/CertoraProver/Compiler/CompilerCollector.py,sha256=cr-PIl7LY9VfNs4s4H3-EnSnomPiCgXudfwP9-KenMk,6740
-certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py,sha256=L-LAH0UU7gB7wYvCcXrwdtLGpBI8MX3rPts0ufQ-X9s,8157
+certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py,sha256=seZwusxZNGicOaL0Qjp_uqhwdRIsKKfIhD_4bEA2KhA,8522
 certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py,sha256=7nAY2FLMUlGJn4f_YoZMqpa3rf7THqhJVjLwTaChcBc,5027
 certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8Of6R84vXsqRNGpscYcFQghmSIY_dyaAWDYA,1350
 certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=e95xOHK5Bz8BbzjbCVLCrGSutVs8ejqOImh5wH9o3Jk,69918
@@ -60,16 +60,16 @@ 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=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aOYhoOY,55185
-certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
+certora_cli/Shared/certoraUtils.py,sha256=hYRupYu8ajlFr1dGboxmJpPMY1rqBVDlWiD8_MhYB4Q,56181
+certora_cli/Shared/certoraValidateFuncs.py,sha256=EGoCGTtGMRzWdN-T5GducwkYbyqZBcSjQZHpau0fWnQ,41922
 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=McDT7MZ-f-v7J6-9e5-7FOAk3rHol_AezBEfZGTLuuE,168
-certora_jars/Typechecker.jar,sha256=Vxf6og3pHEWwLE8CKhO1KJn3dUeQnHkTyle0sHSeMZg,17139336
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Ce-3jxCrPWyzAFCj1xGexrKQ7b2du6WoMQW_uwvjYg0,170
+certora_jars/Typechecker.jar,sha256=oq53jnImLTWl_zY8n2UY8SUInBumIUCClLa9LLlCzV4,17139336
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/METADATA,sha256=hkHC9_OwBOfmDnIl38hia_Mcscl_zT__NSXUeJbMb7w,1247
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250605.8.34.698591.dist-info/RECORD,,
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/METADATA,sha256=5oozF1HiqqiBWa5Eaw7aZhS1rHK5cdB2V74lBqknW8w,1248
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250605.17.15.659237.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "184993b", "timestamp": "20250605.8.34.698591", "version": "20250605.8.34.698591+184993b"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "74570f3", "timestamp": "20250605.17.15.659237", "version": "20250605.17.15.659237+74570f3"}