certora-cli-beta-mirror 8.6.2__tar.gz → 8.6.3__tar.gz

{certora_cli_beta_mirror-8.6.2/certora_cli_beta_mirror.egg-info → certora_cli_beta_mirror-8.6.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.6.2
+Version: 8.6.3
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 5e8518f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit c4459c1.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_beta_mirror-8.6.3/README.md

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

{certora_cli_beta_mirror-8.6.2 → certora_cli_beta_mirror-8.6.3}/certora_cli/CertoraProver/certoraApp.py

@@ -23,6 +23,8 @@ from typing import Type
 
 class CertoraApp(ABC):
     attr_class: Type[AttrUtil.Attributes] = Attrs.EvmProverAttributes
+    ecosystem: str = "EVM"
+    product: str = "PROVER"
 
 class EvmAppClass(CertoraApp):
     pass
@@ -38,15 +40,21 @@ class MoveAppClass(CertoraApp):
 
 class SolanaApp(RustAppClass):
     attr_class = Attrs.SolanaProverAttributes
+    ecosystem: str = "SOLANA"
+
 
 class SorobanApp(RustAppClass):
     attr_class = Attrs.SorobanProverAttributes
+    ecosystem: str = "SOROBAN"
 
 class RangerApp(EvmAppClass):
     attr_class = Attrs.RangerAttributes
+    product = "RANGER"
 
 class ConcordApp(EvmAppClass):
     attr_class = Attrs.ConcordAttributes
+    product = "CONCORD"
 
 class SuiApp(MoveAppClass):
     attr_class = Attrs.SuiProverAttributes
+    ecosystem: str = "SUI"

{certora_cli_beta_mirror-8.6.2 → certora_cli_beta_mirror-8.6.3}/certora_cli/CertoraProver/certoraCloudIO.py

@@ -69,18 +69,6 @@ Response = requests.models.Response
 
 FEATURES_REPORT_FILE = Path("featuresReport.json")
 
-class EcoEnum(Util.NoValEnum):
-    EVM = Util.auto()
-    SOROBAN = Util.auto()
-    SOLANA = Util.auto()
-    SUI = Util.auto()
-
-class ProductEnum(Util.NoValEnum):
-    PROVER = Util.auto()
-    RANGER = Util.auto()
-    CONCORD = Util.auto()
-
-
 class TimeError(Exception):
     """A custom exception used to report on time elapsed errors"""
 
@@ -648,21 +636,8 @@ class CloudVerification:
 
         auth_data["useLatestFe"] = self.context.fe_version == str(Util.FeValue.LATEST)
 
-        if Attrs.is_solana_app():
-            auth_data["ecosystem"] = EcoEnum.SOLANA.name
-        elif Attrs.is_soroban_app():
-            auth_data["ecosystem"] = EcoEnum.SOROBAN.name
-        elif Attrs.is_sui_app():
-            auth_data["ecosystem"] = EcoEnum.SUI.name
-        else:
-            auth_data["ecosystem"] = EcoEnum.EVM.name
-
-        if Attrs.is_ranger_app():
-            auth_data["product"] = ProductEnum.RANGER.name
-        elif Attrs.is_concord_app():
-            auth_data["product"] = ProductEnum.CONCORD.name
-        else:
-            auth_data["product"] = ProductEnum.PROVER.name
+        auth_data["ecosystem"] = self.context.app.ecosystem
+        auth_data["product"] = self.context.app.product
 
         if Attrs.is_evm_app() and self.context.cache is not None:
             auth_data["toolSceneCacheKey"] = self.context.cache

{certora_cli_beta_mirror-8.6.2 → certora_cli_beta_mirror-8.6.3}/certora_cli/CertoraProver/certoraCollectRunMetadata.py

@@ -74,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
+    ecosystem -- the ecosystem of the current run (EVM, SOLANA, SOROBAN, SUI, etc)
     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
@@ -84,7 +85,7 @@ class RunMetaData:
     """
     def __init__(self, raw_args: List[str], conf: Dict[str, Any], origin: str, revision: str,
                  branch: str, cwd_relative: Path, dirty: bool, main_spec: Optional[str],
-                 conf_path: Optional[Path], group_id: Optional[str], java_version: str):
+                 conf_path: Optional[Path], group_id: Optional[str], java_version: str, ecosystem: str):
         self.raw_args = raw_args
         self.conf = conf
         self.origin = origin
@@ -97,6 +98,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.ecosystem = ecosystem
         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())
@@ -119,6 +121,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" ecosystem: {self.ecosystem}\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"
@@ -198,7 +201,8 @@ def collect_run_metadata(wd: Path, raw_args: List[str], context: CertoraContext)
                            main_spec=None,
                            conf_path=None,
                            group_id=None,
-                           java_version=context.java_version)
+                           java_version=context.java_version,
+                           ecosystem=context.app.ecosystem)
 
     # collect information about current git snapshot
     cwd_abs = wd.absolute()
@@ -227,7 +231,8 @@ def collect_run_metadata(wd: Path, raw_args: List[str], context: CertoraContext)
                            main_spec=get_main_spec(context),
                            conf_path=conf_path,
                            group_id=context.group_id,
-                           java_version=context.java_version)
+                           java_version=context.java_version,
+                           ecosystem=context.app.ecosystem)
 
     try:
         sha_out = subprocess.run(['git', 'rev-parse', 'HEAD'], cwd=wd,
@@ -263,7 +268,8 @@ def collect_run_metadata(wd: Path, raw_args: List[str], context: CertoraContext)
                            main_spec=get_main_spec(context),
                            conf_path=conf_path,
                            group_id=context.group_id,
-                           java_version=context.java_version)
+                           java_version=context.java_version,
+                           ecosystem=context.app.ecosystem)
 
         metadata_logger.debug(f' collected data:\n{str(data)}')
 
@@ -282,7 +288,8 @@ def collect_run_metadata(wd: Path, raw_args: List[str], context: CertoraContext)
                            main_spec=get_main_spec(context),
                            conf_path=conf_path,
                            group_id=context.group_id,
-                           java_version=context.java_version)
+                           java_version=context.java_version,
+                           ecosystem=context.app.ecosystem)
 
 
 def get_solc_version(conf: Dict[str, Any]) -> Optional[str]:

{certora_cli_beta_mirror-8.6.2 → certora_cli_beta_mirror-8.6.3/certora_cli_beta_mirror.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.6.2
+Version: 8.6.3
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 5e8518f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit c4459c1.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

@@ -0,0 +1 @@
+{"name": "certora-cli-beta-mirror", "tag": "8.6.3", "branch": "", "commit": "c4459c1", "timestamp": "20251218.13.53.990761", "version": "8.6.3"}

{certora_cli_beta_mirror-8.6.2 → certora_cli_beta_mirror-8.6.3}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-beta-mirror",
-    version="8.6.2",
+    version="8.6.3",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 5e8518f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit c4459c1.                    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.6.2/README.md

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

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

@@ -1 +0,0 @@
-{"name": "certora-cli-beta-mirror", "tag": "8.6.2", "branch": "", "commit": "5e8518f", "timestamp": "20251215.5.17.070907", "version": "8.6.2"}