certora-cli-alpha-master 20250911.4.3.565758__tar.gz → 20250911.18.57.988170__tar.gz

{certora_cli_alpha_master-20250911.4.3.565758/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250911.18.57.988170}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250911.4.3.565758
+Version: 20250911.18.57.988170
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 9b370d5.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit dde4991.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250911.18.57.988170/README.md

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

{certora_cli_alpha_master-20250911.4.3.565758 → certora_cli_alpha_master-20250911.18.57.988170}/certora_cli/CertoraProver/certoraConfigIO.py

@@ -111,6 +111,8 @@ def handle_override_base_config(context: CertoraContext) -> None:
             if hasattr(context, attr):
                 value = getattr(context, attr, False)
                 if not value:
+                    if attr in context.conf_file_attr and value is False:
+                        continue  # skip override if a boolean attribute was explicitly set to False in the conf file
                     setattr(context, attr, override_base_config_attrs.get(attr))
             else:
                 raise Util.CertoraUserInputError(f"{attr} appears in the base conf file {context.override_base_config} but is not a known attribute.")

{certora_cli_alpha_master-20250911.4.3.565758 → certora_cli_alpha_master-20250911.18.57.988170/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250911.4.3.565758
+Version: 20250911.18.57.988170
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 9b370d5.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit dde4991.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20250911.4.3.565758 → certora_cli_alpha_master-20250911.18.57.988170}/setup.py

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

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

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

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "9b370d5", "timestamp": "20250911.4.3.565758", "version": "20250911.4.3.565758+9b370d5"}