certora-cli-beta-mirror 8.5.1__py3-none-any.whl → 8.6.0__py3-none-any.whl

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/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/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/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.dist-info → certora_cli_beta_mirror-8.6.0.dist-info}/METADATA

@@ -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.dist-info → certora_cli_beta_mirror-8.6.0.dist-info}/RECORD

@@ -6,15 +6,15 @@ certora_cli/certoraEVMProver.py,sha256=AH8ZeWXAs7wK6nNKFANCt6seLf9EaaFXtfpjc3xdI
 certora_cli/certoraEqCheck.py,sha256=qfZq7bpU1kbAIezC66W61VfKNZz7Uywg2Ygup62qYeo,1069
 certora_cli/certoraMutate.py,sha256=XhFHyNVP_sk-3XkY6AAV5fVliEFAVRq-JeDGsqE5IQQ,3333
 certora_cli/certoraRanger.py,sha256=thJ4EKo-MFHklCk-7zJADZ-9SO6eCg1AFv88-QssLj0,1289
-certora_cli/certoraRun.py,sha256=c3ySo9attnuMdrnWxUNKLu4PgKsqgoYrUgJnL0Ej3Qs,6651
+certora_cli/certoraRun.py,sha256=TLKtAATiw3bOW-arkOu91CezIAks-cJFeSRWAEyR0yI,6714
 certora_cli/certoraSolanaProver.py,sha256=1R1YnGHCofb05GqFgpxRh3ZmHkmwMm1hPM7rfeiEu7o,3250
 certora_cli/certoraSorobanProver.py,sha256=SYJKz5Sw-N0bJrSa1njRCE53R9_PMz7IWLhfamOjisk,2840
 certora_cli/certoraSuiProver.py,sha256=gRs-iihB35ZSEIQ5-hJN-wLgrHZlcfmpk76Wr6vza74,2827
-certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
+certora_cli/rustMutator.py,sha256=j1YdY5HOWQcRNbz7TOxp5c79J0YaaYHtWZ6m2mSTeGc,14865
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
 certora_cli/CertoraProver/castingInstrumenter.py,sha256=4FDjQjnN9s8I3B9J-_G9rug9Jf3LnWnAuRngr50oTH4,7898
 certora_cli/CertoraProver/certoraApp.py,sha256=RKJ2Krb_CzbRUvczbdE6FhUDrFcvrR8j0JS8MNWXX7s,1469
-certora_cli/CertoraProver/certoraBuild.py,sha256=A9piCLnjB2jFb9PWUY-ndhku4lOXWWXwo14AfL1HxTc,231609
+certora_cli/CertoraProver/certoraBuild.py,sha256=h6lGjUyTcC0EnRCK1DXD26Qez4DEphpFjx_IoQRiuO8,231608
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=DnVd7w92xjmg0DIrMgoJnCvaU0yCz7ySy0M4RiHEXEM,13648
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=BKOjO0yBUWA26cK_VO_lczXrOD7VWC8egQiXY4jGpmk,14914
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
@@ -27,7 +27,7 @@ certora_cli/CertoraProver/certoraConfigIO.py,sha256=-1EhJYsiheYvyCgOOWrRCQBjqtqN
 certora_cli/CertoraProver/certoraContext.py,sha256=bBbLPet5si6jFEdL1TBORN-HCiJGQK7hD6OQZ_ODmFY,28878
 certora_cli/CertoraProver/certoraContextAttributes.py,sha256=e1rtRyF3L_PftUBaQ8XzCutlduSuE1vcS9MyxGwcuqk,72750
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=Ja5XrVT1KY4XOG_tQsnUXq5wCifXpEdUUJba3073NaI,46366
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=KEsxk6D_s_piucib5VeuCNJhKUZUsuCcOyoZRywjKz8,46448
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=IKe4xbDh0yFoYVCuLeAxnGg9h59rQCla3Qpy0GwS3HE,8236
 certora_cli/CertoraProver/certoraExtensionInfo.py,sha256=YlShzdoqJQgXXj3r0TJ3fir1KntIR99Rk8JN5qii2lk,2026
 certora_cli/CertoraProver/certoraJobList.py,sha256=FBIYgJ60I0Ok7vchfTbcuJJbiXgnfAhrONoVeZoHti4,11464
@@ -69,13 +69,13 @@ certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HC
 certora_cli/Shared/certoraUtils.py,sha256=lHd7Da2BmpFAMUoVpdmg5IICsCEIX9qCuD7Ts5QaLpQ,59556
 certora_cli/Shared/certoraValidateFuncs.py,sha256=gCM-YP0Tpngpasd2AWxhu90UNz1wtls3WqJYp18n_Q8,43503
 certora_cli/Shared/proverCommon.py,sha256=DUB-uEKjOkZ-8qil6xukPqfTynpigXW-gcrm0_kRUZY,11383
-certora_jars/ASTExtraction.jar,sha256=PRm0_nK6wGl2zFyFZpGw4Fb20csiaKeG6dv2xEswUHM,21986249
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=iNWut7fa_0gx7tkIxtMxmISQwTYn2NDm1jKv_H5LTG0,144
-certora_jars/Typechecker.jar,sha256=Vjz2nQsK6NsoT7axbF7FX47czlqU8pVrwZ8cfGgyjRI,21948361
+certora_jars/ASTExtraction.jar,sha256=fUqpeRjQNtboB5KbXOsf0SvH_ZHvm73-S7uU3eZ9xE8,21987525
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=ENaW8Y4aNKyDEgRgB6FgUZP_MfitA5n6kyXfgQMw0Jg,143
+certora_jars/Typechecker.jar,sha256=e4D5-ooY-PGOKwztxfJ-JmIYMY_qfl1V96Acm1-aZfg,21949637
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.5.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.5.1.dist-info/METADATA,sha256=49_IXolMWzsUuAYWugLpN4P0RzUnHvSChBN05JAQFjo,1286
-certora_cli_beta_mirror-8.5.1.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-8.5.1.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
-certora_cli_beta_mirror-8.5.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.5.1.dist-info/RECORD,,
+certora_cli_beta_mirror-8.6.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.6.0.dist-info/METADATA,sha256=Vyx_DVA4yWL9aTP1YtuBi0NphKsla82MBZeVjJ3Z8Uw,1254
+certora_cli_beta_mirror-8.6.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-8.6.0.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
+certora_cli_beta_mirror-8.6.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.6.0.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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