certora-cli-alpha-master 20250109.13.37.711480__tar.gz → 20250109.15.35.401095__tar.gz

{certora_cli_alpha_master-20250109.13.37.711480/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250109.15.35.401095}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20250109.13.37.711480
+Version: 20250109.15.35.401095
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -24,4 +24,4 @@ Requires-Dist: tomli
 Requires-Dist: universalmutator
 Requires-Dist: jinja2
 
-Commit f4edc82.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 7ab7df2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250109.15.35.401095/README.md

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

{certora_cli_alpha_master-20250109.13.37.711480 → certora_cli_alpha_master-20250109.15.35.401095}/certora_cli/EVMVerifier/certoraContextAttributes.py

@@ -742,10 +742,22 @@ class EvmAttributes(AttrUtil.Attributes):
         argparse_args={
             'action': AttrUtil.STORE_TRUE
         },
-        affects_build_cache_key=False,
+        affects_build_cache_key=True,
         disables_build_cache=False
     )
 
+    AUTO_DISPATCHER = AttrUtil.AttributeDefinition(
+        arg_type=AttrUtil.AttrArgType.BOOLEAN,
+        jar_flag='-autoDispatcher',
+        argparse_args={
+            'action': AttrUtil.STORE_TRUE
+        },
+        affects_build_cache_key=True,
+        disables_build_cache=False,
+        help_msg="automatically add `DISPATCHER(true)` summaries for all calls with unresolved callees",
+        default_desc=""
+    )
+
     MAX_GRAPH_DEPTH = AttrUtil.AttributeDefinition(
         attr_validation_func=Vf.validate_non_negative_integer,
         jar_flag='-graphDrawLimit',

{certora_cli_alpha_master-20250109.13.37.711480 → certora_cli_alpha_master-20250109.15.35.401095/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20250109.13.37.711480
+Version: 20250109.15.35.401095
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -24,4 +24,4 @@ Requires-Dist: tomli
 Requires-Dist: universalmutator
 Requires-Dist: jinja2
 
-Commit f4edc82.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 7ab7df2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250109.15.35.401095/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "7ab7df2", "timestamp": "20250109.15.35.401095", "version": "20250109.15.35.401095+7ab7df2"}

{certora_cli_alpha_master-20250109.13.37.711480 → certora_cli_alpha_master-20250109.15.35.401095}/setup.py

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

certora_cli_alpha_master-20250109.13.37.711480/README.md

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

certora_cli_alpha_master-20250109.13.37.711480/certora_jars/CERTORA-CLI-VERSION-METADATA.json

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