certora-cli 7.25.3__tar.gz → 7.26.0__tar.gz

{certora-cli-7.25.3 → certora_cli-7.26.0}/LICENSE

@@ -1,7 +1,7 @@
 
 MIT License
 
-Copyright (c) 2020 Certora
+Copyright (c) 2025 Certora
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

certora_cli-7.26.0/PKG-INFO

@@ -0,0 +1,37 @@
+Metadata-Version: 2.2
+Name: certora-cli
+Version: 7.26.0
+Summary: Runner for the Certora Prover
+Home-page: https://pypi.org/project/certora-cli
+Author: Certora
+Author-email: support@certora.com
+Classifier: Programming Language :: Python :: 3
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: click
+Requires-Dist: json5
+Requires-Dist: pycryptodome
+Requires-Dist: requests
+Requires-Dist: rich
+Requires-Dist: sly
+Requires-Dist: tabulate
+Requires-Dist: tqdm
+Requires-Dist: StrEnum
+Requires-Dist: tomli
+Requires-Dist: universalmutator
+Requires-Dist: jinja2
+Requires-Dist: setuptools==75.8.2
+Dynamic: author
+Dynamic: author-email
+Dynamic: classifier
+Dynamic: description
+Dynamic: description-content-type
+Dynamic: home-page
+Dynamic: requires-dist
+Dynamic: requires-python
+Dynamic: summary
+
+Commit 4799cf7.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli-7.26.0/README.md

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

{certora-cli-7.25.3 → certora_cli-7.26.0}/certora_cli/Mutate/mutateApp.py

@@ -895,11 +895,18 @@ class MutateApp:
         assert result_link, "submit_soroban: Null result_link"
 
         mutation_logger.info("Generating mutants and submitting...")
-        generated_mutants: List[Mutant] = self.get_universal_mutator_mutants()
+        generated_mutants: List[Mutant] = []
+        if self.universal_mutator:
+            generated_mutants = self.get_universal_mutator_mutants()
 
+        if self.manual_mutants:
+            self.manual_mutants_list = self.get_manual_mutations_mutants()
+            mutation_logger.debug(f"successfully parsed manual mutants from {self.conf}")
+
+        all_mutants = generated_mutants + self.manual_mutants_list
         web_utils = WebUtils(SimpleNamespace(**vars(self)))
         # get the mutation test id
-        self.numb_of_jobs = len(generated_mutants)
+        self.numb_of_jobs = len(all_mutants)
         self.mutation_test_id, collect_presigned_url = self.get_mutation_test_id_request(web_utils,
                                                                                          self.numb_of_jobs + 1)
         mutation_logger.debug(f"Mutation test id: {self.mutation_test_id}")
@@ -922,7 +929,7 @@ class MutateApp:
         mutant_runs = []
         try:
             self.backup_paths = []
-            for mutant in generated_mutants:
+            for mutant in all_mutants:
                 # call certoraRun for each mutant we found
                 mutant_runs.append(self.run_mutant_soroban(mutant))
         finally:
@@ -1142,7 +1149,8 @@ class MutateApp:
 
         try:
             certora_run_result = self.run_certora_prover(self.conf, self.mutation_test_id, msg=f"mutant ID: {mutant.id}")
-        except Util.CertoraUserInputError:
+        except Util.CertoraUserInputError as e:
+            Console().print(f"\n\nrun_mutant_soroban: prover failed\n{e}\n")
             return MutantJob(
                 gambit_mutant=mutant,
                 success=False,
@@ -1413,7 +1421,8 @@ class MutateApp:
             assert e.results, "expect e.results not to be None"
             certora_run_result = e.results
         except Exception as e:
-            raise Util.CertoraUserInputError(f"certoraRun failed with the parameters:\n {' '.join(certora_args)}", e)
+            raise Util.CertoraUserInputError(f"certoraRun failed with the parameters:\n {' '.join(certora_args)}"
+                                             f"\n\n{e}", e)
 
         return certora_run_result
 

certora_cli-7.26.0/certora_cli.egg-info/PKG-INFO

@@ -0,0 +1,37 @@
+Metadata-Version: 2.2
+Name: certora-cli
+Version: 7.26.0
+Summary: Runner for the Certora Prover
+Home-page: https://pypi.org/project/certora-cli
+Author: Certora
+Author-email: support@certora.com
+Classifier: Programming Language :: Python :: 3
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: click
+Requires-Dist: json5
+Requires-Dist: pycryptodome
+Requires-Dist: requests
+Requires-Dist: rich
+Requires-Dist: sly
+Requires-Dist: tabulate
+Requires-Dist: tqdm
+Requires-Dist: StrEnum
+Requires-Dist: tomli
+Requires-Dist: universalmutator
+Requires-Dist: jinja2
+Requires-Dist: setuptools==75.8.2
+Dynamic: author
+Dynamic: author-email
+Dynamic: classifier
+Dynamic: description
+Dynamic: description-content-type
+Dynamic: home-page
+Dynamic: requires-dist
+Dynamic: requires-python
+Dynamic: summary
+
+Commit 4799cf7.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora-cli-7.25.3 → certora_cli-7.26.0}/certora_cli.egg-info/requires.txt

@@ -10,3 +10,4 @@ StrEnum
 tomli
 universalmutator
 jinja2
+setuptools==75.8.2

certora_cli-7.26.0/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli", "tag": "7.26.0", "branch": "", "commit": "4799cf7", "timestamp": "20250313.13.14.555487", "version": "7.26.0"}

{certora-cli-7.25.3 → certora_cli-7.26.0}/setup.py

@@ -3,16 +3,16 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli",
-    version="7.25.3",
+    version="7.26.0",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 97ac73d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 4799cf7.                    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",
     packages=setuptools.find_packages(),
     include_package_data=True,
-    install_requires=['click', 'json5', 'pycryptodome', 'requests', 'rich', 'sly', 'tabulate', 'tqdm', 'StrEnum', 'tomli', 'universalmutator', 'jinja2'],
+    install_requires=['click', 'json5', 'pycryptodome', 'requests', 'rich', 'sly', 'tabulate', 'tqdm', 'StrEnum', 'tomli', 'universalmutator', 'jinja2', 'setuptools==75.8.2'],
     classifiers=[
         "Programming Language :: Python :: 3",
         "License :: OSI Approved :: MIT License",

certora-cli-7.25.3/PKG-INFO

@@ -1,15 +0,0 @@
-Metadata-Version: 2.1
-Name: certora-cli
-Version: 7.25.3
-Summary: Runner for the Certora Prover
-Home-page: https://pypi.org/project/certora-cli
-Author: Certora
-Author-email: support@certora.com
-Classifier: Programming Language :: Python :: 3
-Classifier: License :: OSI Approved :: MIT License
-Classifier: Operating System :: OS Independent
-Requires-Python: >=3.8
-Description-Content-Type: text/markdown
-License-File: LICENSE
-
-Commit 97ac73d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora-cli-7.25.3/README.md

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

certora-cli-7.25.3/certora_cli.egg-info/PKG-INFO

@@ -1,15 +0,0 @@
-Metadata-Version: 2.1
-Name: certora-cli
-Version: 7.25.3
-Summary: Runner for the Certora Prover
-Home-page: https://pypi.org/project/certora-cli
-Author: Certora
-Author-email: support@certora.com
-Classifier: Programming Language :: Python :: 3
-Classifier: License :: OSI Approved :: MIT License
-Classifier: Operating System :: OS Independent
-Requires-Python: >=3.8
-Description-Content-Type: text/markdown
-License-File: LICENSE
-
-Commit 97ac73d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora-cli-7.25.3/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli", "tag": "7.25.3", "branch": "", "commit": "97ac73d", "timestamp": "20250226.21.37.789196", "version": "7.25.3"}