PyPI - certora-cli-alpha-master - Versions diffs - 20241219.2.15.305705__tar.gz → 20241219.16.13.477788__tar.gz - Mend

@@ -1,10 +1,10 @@
 import argparse
 import hashlib
 import json
-import logging
 import os
 import re
 import sys
+import logging
 from pathlib import Path
@@ -106,9 +106,15 @@ def get_local_run_cmd(context: CertoraContext) -> str:
     @return: A command for running the prover locally
     """
     run_args = []
-    if context.is_tac or Attrs.is_rust_app():
+    if hasattr(context, 'rust_executables'):
+        run_args.append(os.path.join(context.rust_project_directory, context.rust_executables))
+    elif context.is_tac or Attrs.is_rust_app():
         # For Rust app we assume the files holds the executable for the prover, currently we support a single file
-        run_args.append(context.files[0])
+        try:
+            run_args.append(context.files[0])
+        except Exception:
+            raise RuntimeError("get_local_run_cmd: cannot find context.files[0]")
     if Attrs.is_evm_app() and context.cache is not None:
         run_args.extend(['-cache', context.cache])
@@ -231,7 +237,7 @@ def get_args(args_list: Optional[List[str]] = None) -> CertoraContext:
     validator = Cv.CertoraContextValidator(context)
     validator.validate()
-    if Attrs.is_evm_app():
+    if Attrs.is_evm_app() or Attrs.is_rust_app():
         current_build_directory = Util.get_build_dir()
         if context.build_dir is not None and current_build_directory != context.build_dir:
             Util.reset_certora_internal_dir(context.build_dir)

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241219.2.15.305705
+Version: 20241219.16.13.477788
 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 2b6a3e9.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 6339cbf.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

@@ -161,6 +161,14 @@ class CommonAttributes(AttrUtil.Attributes):
         disables_build_cache=False
     )
+    BUILD_DIR = AttrUtil.AttributeDefinition(
+        attr_validation_func=Vf.validate_build_dir,
+        argparse_args={
+            'action': AttrUtil.UniqueStore
+        },
+        affects_build_cache_key=False,
+        disables_build_cache=False
+    )
 class DeprecatedAttributes(AttrUtil.Attributes):
     AUTO_NONDET_DIFFICULT_INTERNAL_FUNCS = AttrUtil.AttributeDefinition(
@@ -639,15 +647,6 @@ class EvmAttributes(AttrUtil.Attributes):
         disables_build_cache=False
     )
-    BUILD_DIR = AttrUtil.AttributeDefinition(
-        attr_validation_func=Vf.validate_build_dir,
-        argparse_args={
-            'action': AttrUtil.UniqueStore
-        },
-        affects_build_cache_key=False,
-        disables_build_cache=False
-    )
     DISABLE_LOCAL_TYPECHECKING = AttrUtil.AttributeDefinition(
         arg_type=AttrUtil.AttrArgType.BOOLEAN,
         argparse_args={

@@ -1,19 +1,19 @@
 import subprocess
 import json
-from pathlib import Path
+import logging
 from EVMVerifier.certoraContextClass import CertoraContext
 from Shared import certoraUtils as Util
-import os
+build_script_logger = logging.getLogger("build_script")
 def run_script_and_parse_json(context: CertoraContext) -> None:
     if not context.build_script:
         return
     try:
-        env = os.environ.copy()
-        result = subprocess.run(["python3", Path(context.build_script).resolve(), '--json'], capture_output=True, text=True,
-                                env=env, cwd=Path(context.build_script).resolve().parent)
+        build_script_logger.info(f"Building from script {context.build_script}")
+        result = subprocess.run([context.build_script, '--json'], capture_output=True, text=True)
         # Check if the script executed successfully
         if result.returncode != 0:

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241219.2.15.305705
+Version: 20241219.16.13.477788
 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 2b6a3e9.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 6339cbf.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

@@ -3,11 +3,11 @@ import setuptools
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20241219.2.15.305705",
+    version="20241219.16.13.477788",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 2b6a3e9.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 6339cbf.                    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(),

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

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

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

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

certora-cli-alpha-master 20241219.2.15.305705__tar.gz → 20241219.16.13.477788__tar.gz