certora-cli-beta-mirror 8.5.1__tar.gz → 8.6.0__tar.gz

{certora_cli_beta_mirror-8.5.1/certora_cli_beta_mirror.egg-info → certora_cli_beta_mirror-8.6.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.5.1
+Version: 8.6.0
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -23,7 +23,6 @@ Requires-Dist: sly
 Requires-Dist: tabulate
 Requires-Dist: tqdm
 Requires-Dist: StrEnum
-Requires-Dist: universalmutator
 Requires-Dist: jinja2
 Requires-Dist: wcmatch
 Requires-Dist: typing_extensions
@@ -39,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 1738e5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 92412cc.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-8.6.0/README.md

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

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/certora_cli/CertoraProver/certoraBuild.py

@@ -3346,7 +3346,6 @@ class CertoraBuildGenerator:
                 instrumentation_logger.warning(
                     f"Computing casting instrumentation failed for {build_arg_contract_file}: {e}", exc_info=True)
                 casting_instrumentations, casting_types = {}, {}
-
             instr = CertoraBuildGenerator.merge_dicts_instrumentation(instr, casting_instrumentations)
 
         abs_build_arg_contract_file = Util.abs_posix_path(build_arg_contract_file)

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/certora_cli/CertoraProver/certoraContextValidator.py

@@ -238,7 +238,8 @@ class CertoraContextValidator:
         check_rule(context)
 
         if context.split_rules and (context.build_only or context.compilation_steps_only):
-            raise Util.CertoraUserInputError("cannot use 'compilation_steps_only' or 'build_only' with 'split_rules'")
+            validation_logger.warning("When running with 'compilation_steps_only' or 'build_only', "
+                                      "'split_rules' attribute has no effect and will be ignored.")
 
         if context.compilation_steps_only and context.build_only:
             raise Util.CertoraUserInputError("cannot use both 'compilation_steps_only' and 'build_only'")

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/certora_cli/certoraRun.py

@@ -74,7 +74,7 @@ def run_certora(args: List[str], app: Type[App.CertoraApp] = App.EvmApp,
     # Collect and dump configuration layout
     collect_and_dump_config_layout(context)
 
-    if context.split_rules:
+    if context.split_rules and not (context.build_only or context.compilation_steps_only):
         context.build_only = True
         build(context)
         context.build_only = False

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/certora_cli/rustMutator.py

@@ -249,7 +249,10 @@ def validate_mutate_command() -> None:
         Util.CertoraUserInputError: If validation fails.
     """
     if shutil.which("mutate") is None:
-        raise Util.CertoraUserInputError("universalmutator command 'mutate' not found in PATH.")
+        raise Util.CertoraUserInputError("Currently for Rust projects, universalmutator is required to generate mutants. "
+                                         "The universalmutator command 'mutate' not found in PATH. "
+                                         "To install universalmutator, please follow the instructions at"
+                                         " https://github.com/agroce/universalmutator")
 
 
 def run_mutate(file_to_mutate: Path, mutants_location: Path, build_command: str) -> None:

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0/certora_cli_beta_mirror.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.5.1
+Version: 8.6.0
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -23,7 +23,6 @@ Requires-Dist: sly
 Requires-Dist: tabulate
 Requires-Dist: tqdm
 Requires-Dist: StrEnum
-Requires-Dist: universalmutator
 Requires-Dist: jinja2
 Requires-Dist: wcmatch
 Requires-Dist: typing_extensions
@@ -39,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 1738e5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 92412cc.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/certora_cli_beta_mirror.egg-info/requires.txt

@@ -7,7 +7,6 @@ sly
 tabulate
 tqdm
 StrEnum
-universalmutator
 jinja2
 wcmatch
 typing_extensions

certora_cli_beta_mirror-8.6.0/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-beta-mirror", "tag": "8.6.0", "branch": "", "commit": "92412cc", "timestamp": "20251127.6.22.749789", "version": "8.6.0"}

{certora_cli_beta_mirror-8.5.1 → certora_cli_beta_mirror-8.6.0}/setup.py

@@ -3,16 +3,16 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-beta-mirror",
-    version="8.5.1",
+    version="8.6.0",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 1738e5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 92412cc.                    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-beta-mirror",
     packages=setuptools.find_packages(),
     include_package_data=True,
-    install_requires=['click', 'json5', 'pycryptodome', 'requests', 'rich', 'sly', 'tabulate', 'tqdm', 'StrEnum', 'universalmutator', 'jinja2', 'wcmatch', 'typing_extensions'],
+    install_requires=['click', 'json5', 'pycryptodome', 'requests', 'rich', 'sly', 'tabulate', 'tqdm', 'StrEnum', 'jinja2', 'wcmatch', 'typing_extensions'],
     project_urls={
         'Documentation': 'https://docs.certora.com/en/latest/',
         'Source': 'https://github.com/Certora/CertoraProver',

certora_cli_beta_mirror-8.5.1/README.md

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

certora_cli_beta_mirror-8.5.1/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-beta-mirror", "tag": "8.5.1", "branch": "", "commit": "1738e5b", "timestamp": "20251120.17.46.362075", "version": "8.5.1"}