PyPI - certora-cli-alpha-master - Versions diffs - 20241212.2.36.560378__tar.gz → 20241212.8.37.214730__tar.gz - Mend

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241212.2.36.560378
+Version: 20241212.8.37.214730
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
-Commit 01fd3fc.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 42baef1.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

@@ -847,7 +847,7 @@ class CloudVerification:
         self.vscode_extension_info_writer.add_field("verification_report_url", self.reportUrl)
         self.vscode_extension_info_writer.write_file()
-        if wait_for_results != str(Vf.WaitForResultOptions.ALL):
+        if not wait_for_results or wait_for_results == str(Vf.WaitForResultOptions.NONE):
             job_list.save_data()
             job_list.save_recent_jobs_to_path()
             self.print_output_links()

@@ -124,7 +124,7 @@ class CommonAttributes(AttrUtil.Attributes):
         argparse_args={
             'nargs': AttrUtil.SINGLE_OR_NONE_OCCURRENCES,
             'action': AttrUtil.UniqueStore,
-            'default': str(Vf.WaitForResultOptions.UNSET),  # 'default': when --wait_for_results was not used
+            'default': None,  # 'default': when --wait_for_results was not used
             'const': str(Vf.WaitForResultOptions.ALL)  # when --wait_for_results was used without an argument
         },
         affects_build_cache_key=False,

@@ -742,7 +742,7 @@ def check_files_input(file_list: List[str]) -> None:
 def set_wait_for_results_default(context: CertoraContext) -> None:
-    if context.wait_for_results == str(Vf.WaitForResultOptions.UNSET):
+    if context.wait_for_results is None:
         if Util.is_ci_or_git_action():
             context.wait_for_results = str(Vf.WaitForResultOptions.ALL)
         else:

@@ -78,7 +78,6 @@ class RunSources(Util.NoValEnum):
 class WaitForResultOptions(Util.NoValEnum):
-    UNSET = auto()
     NONE = auto()
     ALL = auto()

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

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

@@ -3,11 +3,11 @@ import setuptools
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20241212.2.36.560378",
+    version="20241212.8.37.214730",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 01fd3fc.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 42baef1.                    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(),

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

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

certora-cli-alpha-master 20241212.2.36.560378__tar.gz → 20241212.8.37.214730__tar.gz