certora-cli-beta-mirror 8.4.2__tar.gz → 8.4.3__tar.gz

{certora_cli_beta_mirror-8.4.2/certora_cli_beta_mirror.egg-info → certora_cli_beta_mirror-8.4.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.4.2
+Version: 8.4.3
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit b945191.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 0d90215.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-8.4.3/README.md

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

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3}/certora_cli/CertoraProver/certoraCloudIO.py

@@ -689,8 +689,11 @@ class CloudVerification:
             auth_data["mutationTestId"] = self.context.mutation_test_id
         return auth_data
 
+    def get_group_id_url(self) -> str:
+        return f"{self.get_domain()}/?groupIds={self.context.group_id}"
+
     def print_group_id_url(self) -> None:
-        group_id_url = f"{self.get_domain()}/?groupIds={self.context.group_id}"
+        group_id_url = self.get_group_id_url()
         print(f"See all jobs generated from splitting the rules at {group_id_url}", flush=True)
 
     def print_output_links(self) -> None:

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3}/certora_cli/CertoraProver/certoraCollectRunMetadata.py

@@ -14,6 +14,7 @@
 #     along with this program.  If not, see <https://www.gnu.org/licenses/>.
 import dataclasses
 import json
+import re
 from typing import Any, Dict, List, Optional
 import subprocess
 from datetime import datetime, timezone
@@ -73,6 +74,7 @@ class RunMetaData:
     conf_path -- the relative path form the cwd_relative to the configuration file
     group_id -- optional identifier for grouping this run
     java_version -- version of Java used during the run, if available
+    default_solc_version -- version of default solc version on current machine, if available
     python_version -- version of Python running the process
     certora_ci_client -- name of the CI client if available, derived from environment
     timestamp -- UTC timestamp when the run metadata was generated
@@ -95,6 +97,7 @@ class RunMetaData:
         self.group_id = group_id
         self.python_version = ".".join(str(x) for x in sys.version_info[:3])
         self.java_version = java_version
+        self.default_solc_version = get_solc_version(self.conf)
         self.certora_ci_client = Utils.get_certora_ci_name()
         self.timestamp = str(datetime.now(timezone.utc).timestamp())
         _, self.CLI_package_name, self.CLI_version = Utils.get_package_and_version()
@@ -116,6 +119,7 @@ class RunMetaData:
             f" group_id: {self.group_id}\n"
             f" python_version: {self.python_version}\n"
             f" java_version: {self.java_version}\n"
+            f" default_solc_version: {self.default_solc_version}\n"
             f" CertoraCI client: {self.certora_ci_client}\n"
             f" jar_flag_info: {self.jar_flag_info}\n"
         )
@@ -279,3 +283,28 @@ def collect_run_metadata(wd: Path, raw_args: List[str], context: CertoraContext)
                            conf_path=conf_path,
                            group_id=context.group_id,
                            java_version=context.java_version)
+
+
+def get_solc_version(conf: Dict[str, Any]) -> Optional[str]:
+    if conf.get('solc') or conf.get('solc_map') or conf.get('compiler_map'):
+        return None
+
+    try:
+        result = subprocess.run(
+            ["solc", "--version"],
+            capture_output=True,
+            text=True,
+            check=True
+        )
+        for line in result.stdout.splitlines():
+            if line.startswith("Version:"):
+                version_matches = re.findall(r'^Version: (\d+)\.(\d+)\.(\d+)', line, re.MULTILINE)
+                if len(version_matches) != 1:
+                    return None
+                match = version_matches[0]
+                return f'solc{int(match[1])}.{int(match[2])}'
+
+    except Exception as e:
+        metadata_logger.debug(f'Error while trying to fetch default solc version: {e}')
+        return None
+    return None

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3}/certora_cli/Shared/certoraUtils.py

@@ -17,6 +17,7 @@ import csv
 import json
 import os
 import io
+import secrets
 import subprocess
 from abc import ABCMeta
 from enum import Enum, unique, auto
@@ -40,7 +41,6 @@ sys.path.insert(0, str(scripts_dir_path))
 from contextlib import contextmanager
 from Shared.ExpectedComparator import ExpectedComparator
 import logging
-import random
 import time
 import tempfile
 from datetime import datetime
@@ -157,7 +157,7 @@ def get_build_dir() -> Path:
 
 def get_random_build_dir() -> Path:
     for tries in range(3):
-        build_uuid = f"{datetime.now().strftime('%y_%m_%d_%H_%M_%S')}_{random.randint(0, 999):03d}"
+        build_uuid = f"{datetime.now().strftime('%y_%m_%d_%H_%M_%S')}_{secrets.randbelow(1_000_000):06d}{secrets.token_hex(2)}"
         build_dir = CERTORA_INTERNAL_ROOT / Path(build_uuid)
         if not build_dir.exists():
             return build_dir

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3}/certora_cli/certoraRun.py

@@ -80,9 +80,17 @@ def run_certora(args: List[str], app: Type[App.CertoraApp] = App.EvmApp,
         context.build_only = False
         rule_handler = splitRules.SplitRulesHandler(context)
         exit_code = rule_handler.generate_runs()
-        CloudVerification(context).print_group_id_url()
+        cv = CloudVerification(context)
+        cv.print_group_id_url()
         if exit_code == 0:
             print("Split rules succeeded")
+            return_value = CertoraRunResult(
+                cv.get_group_id_url(),
+                False,
+                Util.get_certora_sources_dir(),
+                cv.get_group_id_url(),
+            )
+            return handle_exit(exit_code, return_value)
         else:
             raise Util.ExitException("Split rules failed", exit_code)
 

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3/certora_cli_beta_mirror.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.4.2
+Version: 8.4.3
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit b945191.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 0d90215.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-8.4.3/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-beta-mirror", "tag": "8.4.3", "branch": "", "commit": "0d90215", "timestamp": "20251030.12.0.379579", "version": "8.4.3"}

{certora_cli_beta_mirror-8.4.2 → certora_cli_beta_mirror-8.4.3}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-beta-mirror",
-    version="8.4.2",
+    version="8.4.3",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit b945191.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 0d90215.                    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-beta-mirror",
     packages=setuptools.find_packages(),

certora_cli_beta_mirror-8.4.2/README.md

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

certora_cli_beta_mirror-8.4.2/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-beta-mirror", "tag": "8.4.2", "branch": "", "commit": "b945191", "timestamp": "20251024.12.37.646479", "version": "8.4.2"}