certora-cli-alpha-master 20241221.3.15.623097__tar.gz → 20241223.8.29.15957__tar.gz

{certora_cli_alpha_master-20241221.3.15.623097/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20241223.8.29.15957}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241221.3.15.623097
+Version: 20241223.8.29.15957
 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 10f5d9c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit a756153.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20241223.8.29.15957/README.md

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

{certora_cli_alpha_master-20241221.3.15.623097 → certora_cli_alpha_master-20241223.8.29.15957}/certora_cli/Mutate/mutateApp.py

@@ -1356,7 +1356,10 @@ class MutateApp:
         if self.orig_run:  # if orig run exists we will not try to build again
             return
         try:
-            run_certora([str(self.conf), "--compilation_steps_only"])
+            args = ["--compilation_steps_only"]
+            if self.prover_version:
+                args += ['--prover_version', self.prover_version]
+            run_certora([str(self.conf)] + args)
         except Exception as e:
             raise Util.CertoraUserInputError(f"running original from {self.conf} failed\n", e) from None
 

{certora_cli_alpha_master-20241221.3.15.623097 → certora_cli_alpha_master-20241223.8.29.15957/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241221.3.15.623097
+Version: 20241223.8.29.15957
 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 10f5d9c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit a756153.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20241221.3.15.623097 → certora_cli_alpha_master-20241223.8.29.15957}/setup.py

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

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

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

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