certora-cli-beta-mirror 8.4.2__py3-none-macosx_10_9_universal2.whl → 8.4.3__py3-none-macosx_10_9_universal2.whl

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/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/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/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.dist-info → certora_cli_beta_mirror-8.4.3.dist-info}/METADATA

@@ -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.2.dist-info → certora_cli_beta_mirror-8.4.3.dist-info}/RECORD

@@ -7,7 +7,7 @@ certora_cli/certoraEVMProver.py,sha256=AH8ZeWXAs7wK6nNKFANCt6seLf9EaaFXtfpjc3xdI
 certora_cli/certoraEqCheck.py,sha256=qfZq7bpU1kbAIezC66W61VfKNZz7Uywg2Ygup62qYeo,1069
 certora_cli/certoraMutate.py,sha256=XhFHyNVP_sk-3XkY6AAV5fVliEFAVRq-JeDGsqE5IQQ,3333
 certora_cli/certoraRanger.py,sha256=thJ4EKo-MFHklCk-7zJADZ-9SO6eCg1AFv88-QssLj0,1289
-certora_cli/certoraRun.py,sha256=3v3o_nMfdVHT-MSqTW0EYqyu2IjKsZvMcXwmfkOQaU8,6371
+certora_cli/certoraRun.py,sha256=c3ySo9attnuMdrnWxUNKLu4PgKsqgoYrUgJnL0Ej3Qs,6651
 certora_cli/certoraSolanaProver.py,sha256=1R1YnGHCofb05GqFgpxRh3ZmHkmwMm1hPM7rfeiEu7o,3250
 certora_cli/certoraSorobanProver.py,sha256=SYJKz5Sw-N0bJrSa1njRCE53R9_PMz7IWLhfamOjisk,2840
 certora_cli/certoraSuiProver.py,sha256=gRs-iihB35ZSEIQ5-hJN-wLgrHZlcfmpk76Wr6vza74,2827
@@ -19,9 +19,9 @@ certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=DnVd7w92xjmg0DIrMgo
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=hO0w3YK9V9gZsTbh4gxxlnEAaOiubUwfzNEw6uL1HaE,14841
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
 certora_cli/CertoraProver/certoraBuildSui.py,sha256=zMXD2XnC4oqRDzPcBvSZmVquL3UG5paBZkfUT3JPbYY,4180
-certora_cli/CertoraProver/certoraCloudIO.py,sha256=99IRWSA4wAF1q_yu7m1IpDlybMVqtupW_C5qa3Xrhs0,54351
+certora_cli/CertoraProver/certoraCloudIO.py,sha256=ElRVD-c69aSURtgobuxbEfg6rPzQDSTqtTZJmeT_SYU,54430
 certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=Rln6LsqMp-u0H2fAFulTLAn7GW-j3ox2XZSz0ghdjk0,14116
-certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=i31dkYt8kwlX44SHZtV_b8QI1Egi6cbB5-uuh5beYN0,12630
+certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=SonKgq2l6_8o6xySbinEinEd32Ufrk3VB0Roq-CmwoM,13718
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
 certora_cli/CertoraProver/certoraConfigIO.py,sha256=-1EhJYsiheYvyCgOOWrRCQBjqtqNXrpMKJYRq5cKJ0Y,8171
 certora_cli/CertoraProver/certoraContext.py,sha256=bBbLPet5si6jFEdL1TBORN-HCiJGQK7hD6OQZ_ODmFY,28878
@@ -66,16 +66,16 @@ certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99w
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
 certora_cli/Shared/certoraAttrUtil.py,sha256=Nw8ban5Axp6c6dT-KJfCD9i9tKnGk1DbvRDDNH3--DU,8574
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
-certora_cli/Shared/certoraUtils.py,sha256=b9qIZ90wW1ofZIlvdFyZRzoVg1HlkA6gfkTaKkVxcQU,59443
+certora_cli/Shared/certoraUtils.py,sha256=OM_dwh9-j6EbWL6bRJ7JR53aSBr8EqsTL1JeCfsx7pc,59472
 certora_cli/Shared/certoraValidateFuncs.py,sha256=mYguICGfUwVZ9qPBFajss1xqHPDR-KRtskgERLum4AM,43225
 certora_cli/Shared/proverCommon.py,sha256=DUB-uEKjOkZ-8qil6xukPqfTynpigXW-gcrm0_kRUZY,11383
-certora_jars/ASTExtraction.jar,sha256=yEtRtw8hLOSGOmWsQa_66YjGVbXyvXB0OLbRfDhI5bM,20972809
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=P_oGSX2EDYSi3oUK7qFchwRxBtq9npnHNvlIoTRYIzk,144
-certora_jars/Typechecker.jar,sha256=WuwClyJ0M5BV9_X2LXrGXEJp_cXFclLoCRGmX-Zhlv8,20934968
+certora_jars/ASTExtraction.jar,sha256=G0r0_sl2Y_OTzYUxgIAC3kHfoUEf1nxXwK_FOBkL6kg,20972855
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=9LbOn2ZL18lmcgKVKT4VDx8NqLPXFXqclA-Nni0SBrs,143
+certora_jars/Typechecker.jar,sha256=5eqOpUOYmnU2Y-5ib15wp2ULAYpOuCJiD5pEQWwzLmI,20935014
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.4.2.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.4.2.dist-info/METADATA,sha256=L78T7D5oFXi5DL_Zx7T3Pq8i7L5dQeWk8V57xnSafrg,1286
-certora_cli_beta_mirror-8.4.2.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_beta_mirror-8.4.2.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
-certora_cli_beta_mirror-8.4.2.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.4.2.dist-info/RECORD,,
+certora_cli_beta_mirror-8.4.3.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.4.3.dist-info/METADATA,sha256=3aYkCI6UBQeA8C92Zx5TQpHBcLOCUAfo5xKwoLybK7w,1286
+certora_cli_beta_mirror-8.4.3.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_beta_mirror-8.4.3.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
+certora_cli_beta_mirror-8.4.3.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.4.3.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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