certora-cli-alpha-master 20250619.9.58.547847__tar.gz → 20250619.15.39.58921__tar.gz

{certora_cli_alpha_master-20250619.9.58.547847/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250619.15.39.58921}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250619.9.58.547847
+Version: 20250619.15.39.58921
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit e775225.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit ee27c34.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250619.15.39.58921/README.md

@@ -0,0 +1 @@
+Commit ee27c34.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py

@@ -25,8 +25,9 @@ from CertoraProver.Compiler.CompilerCollector import CompilerLang, CompilerColle
 from CertoraProver.Compiler.CompilerCollectorSol import CompilerCollectorSol, CompilerLangSol
 from CertoraProver.Compiler.CompilerCollectorYul import CompilerLangYul, CompilerCollectorYul
 from CertoraProver.Compiler.CompilerCollectorVy import CompilerCollectorVy, CompilerLangVy
-from Shared.certoraUtils import match_path_to_mapping_key, remove_file, get_certora_config_dir
+from Shared.certoraUtils import remove_file, get_certora_config_dir
 from CertoraProver.certoraContextClass import CertoraContext
+import CertoraProver.certoraContext as Ctx
 
 # logger for running the Solidity compiler and reporting any errors it emits
 compiler_logger = logging.getLogger("compiler")
@@ -49,7 +50,9 @@ def get_relevant_compiler(contract_file_path: Path, context: CertoraContext) ->
         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)
+        match = Ctx.get_map_attribute_value(context, contract_file_path, 'compiler')
+        assert isinstance(match, str), (f"In the attribute compiler_map, {contract_file_path} expected to be matched "
+                                        f"to a string, {match} is of type {type(match)} not a string")
         if match:
             return match
         else:

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/certoraBuild.py

@@ -1365,47 +1365,48 @@ class CertoraBuildGenerator:
 
         return bytecode
 
-    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 False
-        if self.context.solc_via_ir_map:
-            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):
+    def get_solc_via_ir_value(self, contract_file_path: Path) -> bool:
+        match = Ctx.get_map_attribute_value(self.context, contract_file_path, 'solc_via_ir')
+        assert isinstance(match, (bool, type(None))), f"Expected solc_via_ir to be bool or None, got {type(match)}"
+        return bool(match)
+
+    def get_solc_evm_version_value(self, contract_file_path: Path) -> Optional[str]:
+        match = Ctx.get_map_attribute_value(self.context, contract_file_path, 'solc_evm_version')
+        assert isinstance(match, (str, type(None))), f"Expected solc_evm_version to be string or None, got {type(match)}"
+        return match
+
+    def get_solc_optimize_value(self, contract_file_path: Path) -> Optional[str]:
+        match = Ctx.get_map_attribute_value(self.context, contract_file_path, 'solc_optimize')
+        assert isinstance(match, (str, type(None))), f"Expected solc_optimize to be string or None, got {type(match)}"
+        return match
+
+    def _handle_via_ir(self, contract_file_path: Path, settings_dict: Dict[str, Any]) -> None:
+        if self.get_solc_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:
-        if self.context.solc_evm_version_map:
-            match = Util.match_path_to_mapping_key(Path(contract_file_path), self.context.solc_evm_version_map)
-            if match:
-                settings_dict["evmVersion"] = match
-        elif self.context.solc_evm_version:
-            settings_dict["evmVersion"] = self.context.solc_evm_version
+    def _handle_evm_version(self, contract_file_path: Path, settings_dict: Dict[str, Any]) -> None:
+        match = self.get_solc_evm_version_value(contract_file_path)
+        if match:
+            settings_dict["evmVersion"] = match
 
-    def _handle_optimize(self, contract_file_path: str, settings_dict: Dict[str, Any],
+    def _handle_optimize(self, contract_file_path: Path, settings_dict: Dict[str, Any],
                          compiler_collector: CompilerCollector) -> None:
         """
         @param contract_file_path: the contract that we are working on
         @param settings_dict: data structure for sending to the solc compiler
         """
-        if self.context.solc_optimize_map:
-            match = Util.match_path_to_mapping_key(Path(contract_file_path), self.context.solc_optimize_map)
-            if match and int(match) > 0:
-                settings_dict["optimizer"] = {"enabled": True}
-                settings_dict["optimizer"]['runs'] = int(match)
-        elif self.context.solc_optimize:
+        match = self.get_solc_optimize_value(contract_file_path)
+        if match:
             settings_dict["optimizer"] = {"enabled": True}
-            if int(self.context.solc_optimize) > 0:
-                settings_dict["optimizer"]['runs'] = int(self.context.solc_optimize)
+            if int(match) > 0:
+                settings_dict["optimizer"]['runs'] = int(match)
 
         # if optimizer is true, we should also define settings_dict["optimizer"]["details"]
         # for both optimize map and optimize
         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.get_via_ir_value(contract_file_path):
+            if not self.context.strict_solc_optimizer and self.get_solc_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]" +
@@ -1475,7 +1476,7 @@ class CertoraBuildGenerator:
                 for opt_pass in self.context.disable_solc_optimizers:
                     settings_dict["optimizer"]["details"][opt_pass] = False
 
-    def _fill_codegen_related_options(self, contract_file_path: str, settings_dict: Dict[str, Any],
+    def _fill_codegen_related_options(self, contract_file_path: Path, settings_dict: Dict[str, Any],
                                       compiler_collector: CompilerCollector) -> None:
         """
         Fills options that control how we call solc and affect the bytecode in some way
@@ -1556,7 +1557,7 @@ class CertoraBuildGenerator:
                 }
             }
 
-        self._fill_codegen_related_options(contract_file_as_provided, settings_dict, compiler_collector)
+        self._fill_codegen_related_options(Path(contract_file_as_provided), settings_dict, compiler_collector)
 
         result_dict = {"language": compiler_collector_lang.name, "sources": sources_dict, "settings": settings_dict}
         # debug_print("Standard json input")
@@ -2291,7 +2292,7 @@ class CertoraBuildGenerator:
 
         if compiler_lang == CompilerLangSol():
             settings_dict: Dict[str, Any] = {}
-            self._fill_codegen_related_options(build_arg_contract_file, settings_dict,
+            self._fill_codegen_related_options(Path(build_arg_contract_file), settings_dict,
                                                compiler_collector_for_contract_file)
             solc_optimizer_on, solc_optimizer_runs = self.solc_setting_optimizer_runs(settings_dict)
             solc_via_ir = self.solc_setting_via_ir(settings_dict)
@@ -2421,7 +2422,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.get_via_ir_value(contract_file):
+                    if self.get_solc_via_ir_value(Path(contract_file)):
                         should_compress = False
                     else:
                         should_compress = True

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py

@@ -25,12 +25,13 @@ sys.path.insert(0, str(scripts_dir_path))
 import CertoraProver.certoraContextAttributes as Attrs
 from CertoraProver.certoraCollectRunMetadata import RunMetaData, MetadataEncoder
 import Shared.certoraUtils as Utils
+from typing import List
 
 
 class MainSection(Enum):
     GENERAL = "GENERAL"
+    OPTIONS = "OPTIONS"
     SOLIDITY_COMPILER = "SOLIDITY_COMPILER"
-    GIT = "GIT"
     NEW_SECTION = "NEW_SECTION"
 
 
@@ -47,13 +48,11 @@ class InnerContent:
     content: Any
     doc_link: str = ''
     tooltip: str = ''
-    unsound: str = 'false'
+    unsound: bool = False
 
     def __post_init__(self) -> None:
         if isinstance(self.content, bool):
             self.content = 'true' if self.content else 'false'
-        if isinstance(self.unsound, bool):
-            self.unsound = 'true' if self.unsound else 'false'
 
 
 @dataclasses.dataclass
@@ -65,6 +64,7 @@ class CardContent:
 
 DOC_LINK_PREFIX = 'https://docs.certora.com/en/latest/docs/'
 GIT_ATTRIBUTES = ['origin', 'revision', 'branch', 'dirty']
+ARG_LIST_ATTRIBUTES = ['prover_args', 'java_args']
 
 
 class AttributeJobConfigData:
@@ -73,13 +73,13 @@ class AttributeJobConfigData:
     This should be added to the AttributeDefinition and configured for every new attribute
     presented in the Rule report.
 
-    Note: Attributes which do not contain specific information will be assigned as a Flag in the General main section!
+    Note: Attributes that do not contain specific information will be presented in the OPTIONS main section!
 
     arguments:
     - main_section : MainSection -- the main section inside the config tab
-        default: MainSection.GENERAL
-    - subsection : str -- the subsection within the main_section (e.g Flags)
-        default: Flags
+        default: MainSection.OPTIONS
+    - subsection : str -- the subsection within the main_section
+        default: None - they will be presented inside the OPTIONS card
     - doc_link : Optional[str] -- a link to the Documentation page of this attribute (if exists)
         default: 'https://docs.certora.com/en/latest/docs/' + Solana/EVM path + #<attribute_name>
     - tooltip : Optional[str] -- a description of this attribute to present in the config tab
@@ -88,7 +88,7 @@ class AttributeJobConfigData:
         default: False
     """
 
-    def __init__(self, main_section: MainSection = MainSection.GENERAL, subsection: str = '',
+    def __init__(self, main_section: MainSection = MainSection.OPTIONS, subsection: str = '',
                  doc_link: Optional[str] = '', tooltip: Optional[str] = '', unsound: bool = False):
         self.main_section = main_section
         self.subsection = subsection
@@ -201,6 +201,40 @@ def create_or_get_card_content(output: list[CardContent], name: str) -> CardCont
     return main_section
 
 
+def split_and_sort_arg_list_value(args_list: List[str]) -> List[str]:
+    """
+    Splits a unified CLI argument list of strings into a sorted list of flag+value groups.
+    This is useful mainly for --prover_args and --java_args.
+
+    For example:
+    "-depth 15 -adaptiveSolverConfig false" → ["-adaptiveSolverConfig false", "-depth 15"]
+
+    Assumes each flag starts with '-' and its value follows immediately, if exists.
+    Lines are sorted alphabetically.
+    """
+    unified_args = ''.join(args_list)
+
+    if not unified_args.strip():
+        return []
+
+    lines: List[str] = []
+    tokens = unified_args.split()
+    curr_line = ""
+
+    for token in tokens:
+        if token.startswith('-'):
+            if curr_line:
+                lines.append(curr_line)
+            curr_line = token
+        else:
+            curr_line += f" {token}"
+
+    if curr_line:
+        lines.append(curr_line)
+
+    return sorted(lines)
+
+
 def create_inner_content(name: str, content_type: ContentType, value: Any, doc_link: str,
                          config_data: AttributeJobConfigData) -> InnerContent:
     return InnerContent(
@@ -209,7 +243,7 @@ def create_inner_content(name: str, content_type: ContentType, value: Any, doc_l
         content=value,
         doc_link=doc_link,
         tooltip=config_data.tooltip or '',
-        unsound='true' if config_data.unsound else 'false'
+        unsound=config_data.unsound
     )
 
 
@@ -260,35 +294,23 @@ def collect_attribute_configs(metadata: dict) -> list[CardContent]:
             )
             continue
 
-        # Find or create the subsection (if it exists)
+        # Find or create the subsection (if it doesn't exist)
         if isinstance(attr_value, list):
-            current_section: Any = main_section
             content_type = ContentType.SIMPLE
+            if attr_name in ARG_LIST_ATTRIBUTES:
+                attr_value = split_and_sort_arg_list_value(attr_value)
 
         elif isinstance(attr_value, dict):
-            current_section = main_section
             content_type = ContentType.COMPLEX
             attr_value = [
                 create_inner_content(key, ContentType.FLAG, value, doc_link, config_data)
                 for key, value in attr_value.items()
             ]
         else:
-            # this attribute is a value attribute without a subsection, it will be placed in flags.
-            subsection_key = config_data.subsection.lower() if config_data.subsection else 'flags'
-            current_section = next((section for section in main_section.content
-                                    if section.inner_title == subsection_key), None)
-            if current_section is None:
-                current_section = InnerContent(
-                    inner_title=subsection_key,
-                    content_type=ContentType.COMPLEX.value,
-                    content=[]
-                )
-                main_section.content.append(current_section)
-
             content_type = ContentType.FLAG
 
         # Update the current section with attribute details
-        current_section.content.append(
+        main_section.content.append(
             create_inner_content(attr_name, content_type, attr_value, doc_link, config_data)
         )
 
@@ -300,37 +322,23 @@ def collect_run_config_from_metadata(attributes_configs: list[CardContent], meta
     Adding CLI and Git configuration from metadata
     """
 
-    # Define a mapping of metadata attributes to their keys in general_section
-    metadata_mappings = {
-        'CLI Version': metadata.get('CLI_version'),
-        'Verify': metadata.get('conf', {}).get('verify'),
-    }
-
     general_section = create_or_get_card_content(attributes_configs, MainSection.GENERAL.value.lower())
 
-    # Add metadata attributes dynamically if they exist
-    for key, value in metadata_mappings.items():
-        if value:
-            general_section.content.append(InnerContent(
-                inner_title=key,
-                content_type=ContentType.FLAG.value,
-                content=value,
-            ))
+    if cli_version := metadata.get('CLI_version'):
+        general_section.content.append(InnerContent(
+            inner_title='CLI Version',
+            content_type=ContentType.FLAG.value,
+            content=cli_version,
+        ))
 
-    # Adding GIT configuration from metadata only if attributes are found
-    git_content = []
     for attr in GIT_ATTRIBUTES:
         if attr_value := metadata.get(attr):
-            git_content.append(InnerContent(
+            general_section.content.append(InnerContent(
                 inner_title=attr,
                 content_type=ContentType.FLAG.value,
                 content=attr_value,
             ))
 
-    if git_content:
-        git_section = create_or_get_card_content(attributes_configs, MainSection.GIT.value.lower())
-        git_section.content = git_content
-
     return attributes_configs
 
 
@@ -338,14 +346,17 @@ def sort_configuration_layout(data: list[CardContent]) -> list[CardContent]:
     """
     Sorts a configuration layout:
     - Top-level sorted by 'card_title'
-    - Nested content sorted by 'inner_title', with 'Verify' first
+    - Nested content sorted by 'inner_title', with 'verify' first
     """
     priority = {
-        "Verify": 0,
+        # Priorities for top-level cards
         "general": 0,
+        "files": 1,
+        "options": 2,
+        # Top level items inside their respective cards
+        "verify": 0,
         "solc": 0,
-        "CLI Version": 1,
-        "flags": 2
+        "CLI Version": 0
     }
 
     def inner_sort_key(item: Any) -> Any:

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/certoraContext.py

@@ -20,6 +20,8 @@ import os
 import re
 import sys
 import logging
+import fnmatch
+from wcmatch import glob
 
 
 from pathlib import Path
@@ -613,3 +615,30 @@ def attrs_to_relative(context: CertoraContext) -> None:
     packages_to_relative()
     prover_resource_file_to_relative()
     verify_to_relative()
+
+def get_map_attribute_value(context: CertoraContext, path: Path, attr_name: str) -> Optional[str | bool]:
+
+    value = getattr(context, attr_name, None)
+    if value:
+        return value
+
+    map_value = getattr(context, f"{attr_name}_map", None)
+    if not map_value:
+        return None  # No map value defined
+    for key, entry_value in map_value.items():
+        # Split key to handle contract:field syntax
+        key_parts = key.split(':')
+        pattern = key_parts[0]
+
+        if Path(pattern).suffix == "":  # This is a contract pattern
+            # Find contracts that match the pattern
+            for contract_name, contract_file_path in context.contract_to_file.items():
+                if fnmatch.fnmatch(contract_name, pattern):
+                    # Check if this contract's file matches our target path
+                    if Path(contract_file_path) == path:
+                        return entry_value
+        else:  # This is a file pattern
+            # Match the file pattern against the path
+            if glob.globmatch(str(path), pattern, flags=glob.GLOBSTAR):
+                return entry_value
+    return None  # No match

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -740,8 +740,7 @@ class EvmAttributes(AttrUtil.Attributes):
             'action': AttrUtil.UniqueStore
         },
         affects_build_cache_key=False,
-        disables_build_cache=False,
-        config_data=None
+        disables_build_cache=False
     )
 
     BUILD_CACHE = AttrUtil.AttributeDefinition(

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/CertoraProver/certoraContextValidator.py

@@ -19,7 +19,9 @@ import re
 import sys
 import itertools
 import tempfile
+import fnmatch
 from pathlib import Path
+from wcmatch import glob
 from typing import Dict, List, Tuple, Set, Any, Union, OrderedDict
 
 import CertoraProver.certoraContext as Ctx
@@ -666,6 +668,20 @@ def check_mode_of_operation(context: CertoraContext) -> None:
                 special_file_type]) and not context.build_only:
         raise Util.CertoraUserInputError("You must use 'verify' when running the Certora Prover")
 
+def find_matching_contracts(context: CertoraContext, pattern: str) -> List[str]:
+    result = []
+    for contract in context.contract_to_file:
+        if fnmatch.fnmatch(contract, pattern):
+            result.append(context.contract_to_file[contract])
+    return result
+
+def find_matching_files(context: CertoraContext, pattern: str) -> List[str]:
+    result = []
+
+    for path in context.file_paths:
+        if glob.globmatch(path, pattern, flags=glob.GLOBSTAR):
+            result.append(path)
+    return result
 
 def check_map_attributes(context: CertoraContext) -> None:
 
@@ -686,33 +702,21 @@ def check_map_attributes(context: CertoraContext) -> None:
         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()
+        # will check that all the contract files are matched
+        file_list: Dict[str, bool] = {path: False for path in context.file_paths}
 
         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}')
+            pattern = key.split(':')[0]  # ignore the contract part
+            if Path(pattern).suffix == "":
+                for path in find_matching_contracts(context, pattern):
+                    file_list[path] = True
+            else:
+                for path in find_matching_files(context, pattern):
+                    file_list[path] = True
+
+        none_keys = [k for k, v in file_list.items() if v is False]
+        if none_keys:
+            raise Util.CertoraUserInputError(f"The following files are not matched in {map_attr_name}: {none_keys}")
 
 
 def check_parametric_contracts(context: CertoraContext) -> None:

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/Shared/certoraUtils.py

@@ -30,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, OrderedDict
+from typing import Any, Callable, Dict, List, Optional, Set, Union, Generator, Tuple, Iterable, Sequence, TypeVar
 from pathlib import Path
 
 scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
@@ -44,7 +44,6 @@ import tempfile
 from datetime import datetime
 from rich.console import Console
 from rich.text import Text
-from wcmatch import glob
 
 CONSOLE = Console()
 
@@ -1172,36 +1171,9 @@ class Singleton(type):
             cls.__instancesinstances[cls] = super(Singleton, cls).__call__(*args, **kwargs)
         return cls.__instancesinstances[cls]
 
-
 class AbstractAndSingleton(Singleton, ABCMeta):
     pass
 
-
-def match_path_to_mapping_key(path: Path, m: OrderedDict[str, str]) -> Optional[str]:
-    """
-    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 glob.globmatch(str(path), k, flags=glob.GLOBSTAR):
-            return v
-    return None  # No match
-
 def find_in(dir_path: Path, file_to_find: Path) -> Optional[Path]:
     """
     Given a directory dir_path and a file we wish to find within that directory,

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/certora_cli/Shared/certoraValidateFuncs.py

@@ -686,7 +686,7 @@ def validate_solc_via_ir_map(args: Dict[str, bool]) -> None:
         if first:
             validation_logger.warning("all via_ir values are set to True '--solc_via_ir' can be used instead")
         else:
-            validation_logger.warning("all via_ir values are set to False, this flag/attribute  can be omitted")
+            validation_logger.warning("all via_ir values are set to False, this flag/attribute can be omitted")
 
 def validate_solc_evm_version_map(args: Dict[str, str]) -> None:
     if not isinstance(args, dict):

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250619.9.58.547847
+Version: 20250619.15.39.58921
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit e775225.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit ee27c34.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250619.15.39.58921/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "ee27c34", "timestamp": "20250619.15.39.058921", "version": "20250619.15.39.058921+ee27c34"}

{certora_cli_alpha_master-20250619.9.58.547847 → certora_cli_alpha_master-20250619.15.39.58921}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250619.9.58.547847",
+    version="20250619.15.39.058921",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit e775225.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit ee27c34.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
     long_description_content_type="text/markdown",
     url="https://pypi.org/project/certora-cli-alpha-master",
     packages=setuptools.find_packages(),

certora_cli_alpha_master-20250619.9.58.547847/README.md

@@ -1 +0,0 @@
-Commit e775225.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250619.9.58.547847/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "e775225", "timestamp": "20250619.9.58.547847", "version": "20250619.9.58.547847+e775225"}