certora-cli-beta-mirror 8.5.0__py3-none-any.whl → 8.5.1__py3-none-any.whl

certora_cli/CertoraProver/certoraBuild.py

@@ -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[

certora_cli/CertoraProver/certoraContextAttributes.py

@@ -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

{certora_cli_beta_mirror-8.5.0.dist-info → certora_cli_beta_mirror-8.5.1.dist-info}/METADATA

@@ -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.

{certora_cli_beta_mirror-8.5.0.dist-info → certora_cli_beta_mirror-8.5.1.dist-info}/RECORD

@@ -14,7 +14,7 @@ certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14
 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/certoraBuild.py,sha256=-4cBWcMj3dU9cc2BzJ7AT3TzY1tDYGTKaLrcvxUOW6Y,231453
+certora_cli/CertoraProver/certoraBuild.py,sha256=A9piCLnjB2jFb9PWUY-ndhku4lOXWWXwo14AfL1HxTc,231609
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=DnVd7w92xjmg0DIrMgoJnCvaU0yCz7ySy0M4RiHEXEM,13648
 certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=BKOjO0yBUWA26cK_VO_lczXrOD7VWC8egQiXY4jGpmk,14914
 certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
@@ -25,7 +25,7 @@ certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=SonKgq2l6_8o6xySbi
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=v-MIt4sDJSQ7vpEFmCt9XBkKBhdBbZuZA4PWNErJwcU,1807
 certora_cli/CertoraProver/certoraConfigIO.py,sha256=-1EhJYsiheYvyCgOOWrRCQBjqtqNXrpMKJYRq5cKJ0Y,8171
 certora_cli/CertoraProver/certoraContext.py,sha256=bBbLPet5si6jFEdL1TBORN-HCiJGQK7hD6OQZ_ODmFY,28878
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=P1_wgeodSY3-n8c79E64whVSJ6y52pQGvxtvPc4le38,72244
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=e1rtRyF3L_PftUBaQ8XzCutlduSuE1vcS9MyxGwcuqk,72750
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
 certora_cli/CertoraProver/certoraContextValidator.py,sha256=Ja5XrVT1KY4XOG_tQsnUXq5wCifXpEdUUJba3073NaI,46366
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=IKe4xbDh0yFoYVCuLeAxnGg9h59rQCla3Qpy0GwS3HE,8236
@@ -69,13 +69,13 @@ certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HC
 certora_cli/Shared/certoraUtils.py,sha256=lHd7Da2BmpFAMUoVpdmg5IICsCEIX9qCuD7Ts5QaLpQ,59556
 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=rBQRW5FNQvTwMCgKoqGC57e5Z4Nr8bfudvGrGLlTl18,21985312
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=ppx9Vemc6qNycgG68gPOhJOtdkWdvoP3quVgINQz7oE,143
-certora_jars/Typechecker.jar,sha256=qqtuhN-2TnyY6VjuKJ2ELunS9lnbDecUd8GXNWGZSd0,21947424
+certora_jars/ASTExtraction.jar,sha256=PRm0_nK6wGl2zFyFZpGw4Fb20csiaKeG6dv2xEswUHM,21986249
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=iNWut7fa_0gx7tkIxtMxmISQwTYn2NDm1jKv_H5LTG0,144
+certora_jars/Typechecker.jar,sha256=Vjz2nQsK6NsoT7axbF7FX47czlqU8pVrwZ8cfGgyjRI,21948361
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.5.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.5.0.dist-info/METADATA,sha256=R7o6xR4P3zsUcfbMsNJXf7hSIcUgEJI6KwV_6fJNmGo,1286
-certora_cli_beta_mirror-8.5.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-8.5.0.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
-certora_cli_beta_mirror-8.5.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.5.0.dist-info/RECORD,,
+certora_cli_beta_mirror-8.5.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.5.1.dist-info/METADATA,sha256=49_IXolMWzsUuAYWugLpN4P0RzUnHvSChBN05JAQFjo,1286
+certora_cli_beta_mirror-8.5.1.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-8.5.1.dist-info/entry_points.txt,sha256=YXGQmR4tGdYD9lLdG_TEJkmVNrRauCtCDE88HwvO2Jo,569
+certora_cli_beta_mirror-8.5.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.5.1.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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