certora-cli 3.6.8__tar.gz → 3.6.8.post2__tar.gz

{certora-cli-3.6.8/certora_cli.egg-info → certora-cli-3.6.8.post2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli
-Version: 3.6.8
+Version: 3.6.8.post2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli
 Author: Certora
@@ -14,5 +14,5 @@ Requires-Python: >=3.8
 Description-Content-Type: text/markdown
 License-File: LICENSE
 
-Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit ae99e3c. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
 

certora-cli-3.6.8.post2/README.md

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

{certora-cli-3.6.8 → certora-cli-3.6.8.post2}/certora_cli/EVMVerifier/certoraCloudIO.py

@@ -100,18 +100,13 @@ def validate_version_and_branch(branch: Optional[str], commit_sha1: Optional[str
                                f"or\n"\
                                f"pip3 install {package_name} --upgrade"
 
-            must_upgrade_msg = \
-                f"Incompatible package {package_name} version {version} with the latest version {latest}."\
-                f" Please upgrade by running:\n"\
-                f"{installation_cmd}"
-
             recommended_upgrade_msg = \
-                f"You are using {package_name} version {version}; however, version {latest} is available."\
-                f" It is recommended to upgrade by running: {installation_cmd}"
+                f"CVL2 is out! You are using {package_name} version {version}; however, version {latest}" \
+                " is available. You can learn more about CVL2 here:" \
+                " https://docs.certora.com/en/latest/docs/cvl/cvl2/changes.html" \
+                f" Once you migrated your specs to CVL2, it is recommended to upgrade by running: {installation_cmd}"
 
             if remote_main > local_main:
-                if package_name == PRODUCTION_PACKAGE_NAME:
-                    raise CertoraUserInputError(must_upgrade_msg)
                 cloud_logger.warning(recommended_upgrade_msg)
 
             elif remote_main == local_main and \

{certora-cli-3.6.8 → certora-cli-3.6.8.post2/certora_cli.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli
-Version: 3.6.8
+Version: 3.6.8.post2
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli
 Author: Certora
@@ -14,5 +14,5 @@ Requires-Python: >=3.8
 Description-Content-Type: text/markdown
 License-File: LICENSE
 
-Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit ae99e3c. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
 

{certora-cli-3.6.8 → certora-cli-3.6.8.post2}/setup.py

@@ -4,11 +4,11 @@ import setuptools
 if __name__ == "__main__":
     setuptools.setup(
         name="certora-cli",
-        version="3.6.8",
+        version="3.6.8-2",
         author="Certora",
         author_email="support@certora.com",
         description="Runner for the Certora Prover",
-        long_description="Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+        long_description="Commit ae99e3c. 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(),

certora-cli-3.6.8/README.md

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