certora-cli-alpha-master 20250616.16.37.579569__py3-none-any.whl → 20250617.7.51.266321__py3-none-any.whl

certora_cli/CertoraProver/certoraBuild.py

@@ -450,8 +450,12 @@ def convert_pathname_to_posix(json_dict: Dict[str, Any], entry: str, smart_contr
             if path_obj.is_file():
                 json_dict_posix_paths[path_obj.as_posix()] = json_dict[entry][file_path]
             else:
+                json_dict_str = str(json_dict)
+                # protecting against long strings
+                if len(json_dict_str) > 200:
+                    json_dict_str = json_dict_str[:200] + '...'
                 fatal_error(compiler_logger, f"The path of the source file {file_path}"
-                                             f"in the standard json file {json_dict} does not exist")
+                                             f"in the standard json file {json_dict_str} does not exist")
         json_dict[entry] = json_dict_posix_paths
 
 
@@ -1361,14 +1365,15 @@ class CertoraBuildGenerator:
 
         return bytecode
 
-    def _handle_via_ir(self, contract_file_path: str, settings_dict: Dict[str, Any]) -> None:
+    def get_via_ir_value(self, contract_file_path: str) -> bool:
         if not self.context.solc_via_ir_map and not self.context.solc_via_ir:
-            return
+            return False
         if self.context.solc_via_ir_map:
-            match = Util.match_path_to_mapping_key(Path(contract_file_path), self.context.solc_via_ir_map)
-            if match:
-                settings_dict["viaIR"] = match
-        elif self.context.solc_via_ir:
+            return bool(Util.match_path_to_mapping_key(Path(contract_file_path), self.context.solc_via_ir_map))
+        return self.context.solc_via_ir
+
+    def _handle_via_ir(self, contract_file_path: str, settings_dict: Dict[str, Any]) -> None:
+        if self.get_via_ir_value(contract_file_path):
             settings_dict["viaIR"] = True
 
     def _handle_evm_version(self, contract_file_path: str, settings_dict: Dict[str, Any]) -> None:
@@ -1400,7 +1405,7 @@ class CertoraBuildGenerator:
         optimizer = settings_dict.get("optimizer")
         if optimizer and isinstance(optimizer, dict) and optimizer.get('enabled'):
             # if we are not disabling finder friendly optimizer specifically, enable it whenever viaIR is also enabled
-            if not self.context.strict_solc_optimizer and self.context.solc_via_ir:
+            if not self.context.strict_solc_optimizer and self.get_via_ir_value(contract_file_path):
                 # The default optimizer steps (taken from libsolidity/interface/OptimiserSettings.h) but with the
                 # full inliner step removed
                 solc0_8_26_to_0_8_30 = ("dhfoDgvulfnTUtnIfxa[r]EscLMVcul[j]Trpeulxa[r]cLCTUca[r]LSsTFOtfDnca[r]" +
@@ -2416,7 +2421,7 @@ class CertoraBuildGenerator:
                 # if no function finder mode set, determine based on viaIR enabled or not:
                 if self.context.function_finder_mode is None:
                     # in via-ir, should not compress
-                    if self.context.solc_via_ir:
+                    if self.get_via_ir_value(contract_file):
                         should_compress = False
                     else:
                         should_compress = True

certora_cli/Shared/certoraUtils.py

@@ -44,6 +44,7 @@ import tempfile
 from datetime import datetime
 from rich.console import Console
 from rich.text import Text
+from wcmatch import glob
 
 CONSOLE = Console()
 
@@ -1197,7 +1198,7 @@ def match_path_to_mapping_key(path: Path, m: OrderedDict[str, str]) -> Optional[
     @return: the value from the map that best matches the path, None if not found.
     """
     for k, v in m.items():
-        if match_pattern_to_source(k, path):
+        if glob.globmatch(str(path), k, flags=glob.GLOBSTAR):
             return v
     return None  # No match
 
@@ -1481,20 +1482,3 @@ def file_in_source_tree(file_path: Path) -> bool:
         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_alpha_master-20250616.16.37.579569.dist-info → certora_cli_alpha_master-20250617.7.51.266321.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250616.16.37.579569
+Version: 20250617.7.51.266321
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -25,6 +25,7 @@ Requires-Dist: tqdm
 Requires-Dist: StrEnum
 Requires-Dist: universalmutator
 Requires-Dist: jinja2
+Requires-Dist: wcmatch
 Dynamic: author
 Dynamic: author-email
 Dynamic: classifier
@@ -37,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 07395db.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit d873959.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250616.16.37.579569.dist-info → certora_cli_alpha_master-20250617.7.51.266321.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=vEjY15A_4OWuNELys2joVxbl-k_lKC25RRfBlvQgfRI,212074
+certora_cli/CertoraProver/certoraBuild.py,sha256=OOIRWyCZE7QVduKCmW0ZTwhV-xBQqXLWBIqCzv0Lf4I,212376
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ofKvmtqzUGTrgVm5crcybV7gbElbjiUc6Z4FphPEjz0,6016
@@ -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=n99E6MzET_kYf0SK4XSh0OcT40T22UjqN4ynDGB6o-w,56477
+certora_cli/Shared/certoraUtils.py,sha256=xTVCh7bWdMDQR37SA6jLUHSelxsk3mbSYi26XKb4MZQ,56006
 certora_cli/Shared/certoraValidateFuncs.py,sha256=EGoCGTtGMRzWdN-T5GducwkYbyqZBcSjQZHpau0fWnQ,41922
 certora_cli/Shared/proverCommon.py,sha256=PqkjycZ3TdZr0RNWoPuA_VZ5b7EAAsu9ewymNH6kIm4,11291
 certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Exdrs__Qrre-TumiFnPlor3UrRxEzSgUdCLw4zkcS1U,170
-certora_jars/Typechecker.jar,sha256=tiGB6erl6HudkOzMGz0BqQWr-qS542VU9WFZGtM_Uxo,17142588
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=CXoZ3bgkNJppO6dyV0Nyv4fa8oVJiKXQKyjzxvSV1fM,168
+certora_jars/Typechecker.jar,sha256=GXraI_DFe3QVgHTxTReUogubr7849675zfomTIgfja8,17142623
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/METADATA,sha256=e6A70cVILVGEEnS6yCZBcgrg8qZ3e9_FwXc1VYJjDKI,1248
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250616.16.37.579569.dist-info/RECORD,,
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/METADATA,sha256=XRxYX-73vgDGajkDsJZoPhiviae4NG7suZjlhuAqIfQ,1270
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250617.7.51.266321.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "07395db", "timestamp": "20250616.16.37.579569", "version": "20250616.16.37.579569+07395db"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "d873959", "timestamp": "20250617.7.51.266321", "version": "20250617.7.51.266321+d873959"}