certora-cli-alpha-master 20241210.15.59.808437__tar.gz → 20241211.9.2.896840__tar.gz

{certora_cli_alpha_master-20241210.15.59.808437/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20241211.9.2.896840}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241210.15.59.808437
+Version: 20241211.9.2.896840
 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 574d4fa.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 4e7e713.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20241211.9.2.896840/README.md

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

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840}/certora_cli/EVMVerifier/certoraCloudIO.py

@@ -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 not wait_for_results or wait_for_results == str(Vf.WaitForResultOptions.NONE):
+        if wait_for_results != str(Vf.WaitForResultOptions.ALL):
             job_list.save_data()
             job_list.save_recent_jobs_to_path()
             self.print_output_links()

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840}/certora_cli/EVMVerifier/certoraContextAttributes.py

@@ -124,7 +124,7 @@ class CommonAttributes(AttrUtil.Attributes):
         argparse_args={
             'nargs': AttrUtil.SINGLE_OR_NONE_OCCURRENCES,
             'action': AttrUtil.UniqueStore,
-            'default': None,  # 'default': when --wait_for_results was not used
+            'default': str(Vf.WaitForResultOptions.UNSET),  # '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,

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840}/certora_cli/EVMVerifier/certoraContextValidator.py

@@ -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 is None:
+    if context.wait_for_results == str(Vf.WaitForResultOptions.UNSET):
         if Util.is_ci_or_git_action():
             context.wait_for_results = str(Vf.WaitForResultOptions.ALL)
         else:

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840}/certora_cli/Shared/certoraValidateFuncs.py

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

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241210.15.59.808437
+Version: 20241211.9.2.896840
 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 574d4fa.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 4e7e713.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20241210.15.59.808437 → certora_cli_alpha_master-20241211.9.2.896840}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20241210.15.59.808437",
+    version="20241211.9.2.896840",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 574d4fa.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 4e7e713.                    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-20241210.15.59.808437/README.md

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

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

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