certora-cli-beta-mirror 8.6.2__py3-none-any.whl → 8.6.3__py3-none-any.whl

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

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

@@ -13,15 +13,15 @@ certora_cli/certoraSuiProver.py,sha256=gRs-iihB35ZSEIQ5-hJN-wLgrHZlcfmpk76Wr6vza
 certora_cli/rustMutator.py,sha256=j1YdY5HOWQcRNbz7TOxp5c79J0YaaYHtWZ6m2mSTeGc,14865
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
 certora_cli/CertoraProver/castingInstrumenter.py,sha256=4FDjQjnN9s8I3B9J-_G9rug9Jf3LnWnAuRngr50oTH4,7898
-certora_cli/CertoraProver/certoraApp.py,sha256=RKJ2Krb_CzbRUvczbdE6FhUDrFcvrR8j0JS8MNWXX7s,1469
+certora_cli/CertoraProver/certoraApp.py,sha256=7pkQnUYMzP9V-Yo0jszNV9Y9aB760Q6hMZtlcXuuRp8,1660
 certora_cli/CertoraProver/certoraBuild.py,sha256=h6lGjUyTcC0EnRCK1DXD26Qez4DEphpFjx_IoQRiuO8,231608
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=DnVd7w92xjmg0DIrMgoJnCvaU0yCz7ySy0M4RiHEXEM,13648
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=RGeoZCS4OztfbEUak0Oq02wIPgrmAOwLBad6-_XvX8c,14936
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
 certora_cli/CertoraProver/certoraBuildSui.py,sha256=zMXD2XnC4oqRDzPcBvSZmVquL3UG5paBZkfUT3JPbYY,4180
-certora_cli/CertoraProver/certoraCloudIO.py,sha256=ElRVD-c69aSURtgobuxbEfg6rPzQDSTqtTZJmeT_SYU,54430
+certora_cli/CertoraProver/certoraCloudIO.py,sha256=nvB1x5237waj3iDnLcLYO5RlmEKGqFpDXWNOcxAgOQw,53701
 certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=2EXMMaQcjAhWIvVxDeyYatR1RZtRhVwJl1GUvudJLdc,14076
-certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=SonKgq2l6_8o6xySbinEinEd32Ufrk3VB0Roq-CmwoM,13718
+certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=wjP6m8W2rBka15vcj4P6tPkD0fVf-u62NylVqrOwCo8,14138
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=v-MIt4sDJSQ7vpEFmCt9XBkKBhdBbZuZA4PWNErJwcU,1807
 certora_cli/CertoraProver/certoraConfigIO.py,sha256=-1EhJYsiheYvyCgOOWrRCQBjqtqNXrpMKJYRq5cKJ0Y,8171
 certora_cli/CertoraProver/certoraContext.py,sha256=ezdLmR-tSDLTtokhTyS9DacnB3W64Ke_6e714Vuug3c,29196
@@ -69,13 +69,13 @@ certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HC
 certora_cli/Shared/certoraUtils.py,sha256=WEvgDMqTeqC61Q0cW1inbTmGVEgFYawjq8H2vv26bmI,60574
 certora_cli/Shared/certoraValidateFuncs.py,sha256=gCM-YP0Tpngpasd2AWxhu90UNz1wtls3WqJYp18n_Q8,43503
 certora_cli/Shared/proverCommon.py,sha256=DUB-uEKjOkZ-8qil6xukPqfTynpigXW-gcrm0_kRUZY,11383
-certora_jars/ASTExtraction.jar,sha256=o6nysKr3ftkw-UG-IPCa463zpi_XEYtY4dEQDXCDH5Y,22006118
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=GLjiP1oxvbWRQ9coVScFfvh1iYJyHeN99cPid_KVxO4,143
-certora_jars/Typechecker.jar,sha256=3xOSCr6SzICqcb0ihnvzdedOjuS8e5m3IZRRWV8Rx8s,21968230
+certora_jars/ASTExtraction.jar,sha256=WW6yieuw0g2v_obN8ta_UNCo-s36aXSTalGrNlVcVlk,22010491
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=X52jjlrZ6HZa4glSelbBDKPXahSrm2zQLw8TGtVuCHU,144
+certora_jars/Typechecker.jar,sha256=kCONcIoiI34Pn0MQn_cBI4Jvpxm41o0gi7syqLDWVok,21972603
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.6.2.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.6.2.dist-info/METADATA,sha256=yt3Imd5EU6GWsc2FFWTm0m1RGSHSWQIWj3iwdBS9boA,1254
-certora_cli_beta_mirror-8.6.2.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-8.6.2.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
-certora_cli_beta_mirror-8.6.2.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.6.2.dist-info/RECORD,,
+certora_cli_beta_mirror-8.6.3.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.6.3.dist-info/METADATA,sha256=j_4UsqDWfNyvCbiTBjK_gU_OWAuWPpVkAxxmSy-1d28,1254
+certora_cli_beta_mirror-8.6.3.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-8.6.3.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
+certora_cli_beta_mirror-8.6.3.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.6.3.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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