PyPI - certora-cli-beta-mirror - Versions diffs - 8.5.0__tar.gz → 8.5.1__tar.gz - Mend

@@ -3339,14 +3339,15 @@ class CertoraBuildGenerator:
         else:
             added_source_finders = {}
-        try:
-            casting_instrumentations, casting_types = generate_casting_instrumentation(self.asts, build_arg_contract_file, sdc_pre_finder)
-        except Exception as e:
-            instrumentation_logger.warning(
-                f"Computing casting instrumentation failed for {build_arg_contract_file}: {e}", exc_info=True)
-            casting_instrumentations, casting_types = {}, {}
+        if self.context.safe_casting_builtin:
+            try:
+                casting_instrumentations, casting_types = generate_casting_instrumentation(self.asts, build_arg_contract_file, sdc_pre_finder)
+            except Exception as e:
+                instrumentation_logger.warning(
+                    f"Computing casting instrumentation failed for {build_arg_contract_file}: {e}", exc_info=True)
+                casting_instrumentations, casting_types = {}, {}
-        instr = CertoraBuildGenerator.merge_dicts_instrumentation(instr, casting_instrumentations)
+            instr = CertoraBuildGenerator.merge_dicts_instrumentation(instr, casting_instrumentations)
         abs_build_arg_contract_file = Util.abs_posix_path(build_arg_contract_file)
         if abs_build_arg_contract_file not in instr:
@@ -3401,12 +3402,13 @@ class CertoraBuildGenerator:
                         read_so_far += amt + 1 + to_skip
                     output.write(in_file.read(-1))
-                    library_name, funcs = casting_types.get(contract_file, ("", list()))
-                    if len(funcs) > 0:
-                        output.write(bytes(f"\nlibrary {library_name}" + "{\n", "utf8"))
-                        for f in funcs:
-                            output.write(bytes(f, "utf8"))
-                        output.write(bytes("}\n", "utf8"))
+                    if self.context.safe_casting_builtin:
+                        library_name, funcs = casting_types.get(contract_file, ("", list()))
+                        if len(funcs) > 0:
+                            output.write(bytes(f"\nlibrary {library_name}" + "{\n", "utf8"))
+                            for f in funcs:
+                                output.write(bytes(f, "utf8"))
+                            output.write(bytes("}\n", "utf8"))
         new_file = self.to_autofinder_file(build_arg_contract_file)
         self.context.file_to_contract[new_file] = self.context.file_to_contract[

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.5.0
+Version: 8.5.1
 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 d143e0e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 1738e5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

@@ -1202,6 +1202,19 @@ class EvmAttributes(AttrUtil.Attributes):
         disables_build_cache=False,
     )
+    SAFE_CASTING_BUILTIN = AttrUtil.AttributeDefinition(
+        arg_type=AttrUtil.AttrArgType.BOOLEAN,
+        help_msg="This needs to be set to true for the safeCasting builtin to work",
+        default_desc="This needs to be set to true for the safeCasting builtin to work",
+        jar_flag='-safeCastingBuiltin',
+        argparse_args={
+            'action': AttrUtil.STORE_TRUE,
+            'default': False
+        },
+        affects_build_cache_key=True,
+        disables_build_cache=False,
+    )
     @classmethod
     def hide_attributes(cls) -> List[str]:
         # do not show these attributes in the help message

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.5.0
+Version: 8.5.1
 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 d143e0e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 1738e5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

	@@ -0,0 +1 @@
1	+ {"name": "certora-cli-beta-mirror", "tag": "8.5.1", "branch": "", "commit": "1738e5b", "timestamp": "20251120.17.46.362075", "version": "8.5.1"}

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

	@@ -1 +0,0 @@
1	- {"name": "certora-cli-beta-mirror", "tag": "8.5.0", "branch": "", "commit": "d143e0e", "timestamp": "20251116.12.6.675546", "version": "8.5.0"}

certora-cli-beta-mirror 8.5.0__tar.gz → 8.5.1__tar.gz

certora-cli-beta-mirror 8.5.0tar.gz → 8.5.1tar.gz