certora-cli-beta-mirror 7.30.0__py3-none-macosx_10_9_universal2.whl → 7.30.1__py3-none-macosx_10_9_universal2.whl

certora_cli/EquivalenceCheck/Eq_default.conf

@@ -3,7 +3,6 @@
     "msg": "Equivalence Check",
     "optimistic_loop": true,
     "loop_iter": "4",
-    "process": "emv",
     "rule_sanity": "basic",
     "verify": "",
     "msg": ""

certora_cli/EquivalenceCheck/Eq_sanity.conf

@@ -4,6 +4,5 @@
     "msg": "Equivalence Check",
     "optimistic_loop": true,
     "loop_iter": "4",
-    "process": "emv",
     "verify": ""
 }

certora_cli/Mutate/mutateApp.py

@@ -1387,6 +1387,8 @@ class MutateApp:
             args = ["--compilation_steps_only"]
             if self.prover_version:
                 args += ['--prover_version', self.prover_version]
+            if self.server:
+                args += ['--server', self.server]
             run_certora([str(self.conf)] + args)
         except CertoraFoundViolations:  # violations should not stop execution
             pass
@@ -1898,7 +1900,7 @@ class MutateApp:
             common_flags.extend(['--optimize'])
 
         if hasattr(self.prover_context, MConstants.SOLC_ALLOW_PATH):
-            common_flags.extend([f'--allow-paths, {self.prover_context.solc_allow_path}'])
+            common_flags.extend(['--allow-paths', '/'])
 
         if hasattr(self.prover_context, MConstants.SOLC_EVM_VERSION):
             common_flags.extend(['--evm-version', self.prover_context.solc_evm_version])

{certora_cli_beta_mirror-7.30.0.dist-info → certora_cli_beta_mirror-7.30.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.30.0
+Version: 7.30.1
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit adec240.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 5c9b8e0.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-7.30.0.dist-info → certora_cli_beta_mirror-7.30.1.dist-info}/RECORD

@@ -43,16 +43,16 @@ certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8O
 certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=e95xOHK5Bz8BbzjbCVLCrGSutVs8ejqOImh5wH9o3Jk,69918
 certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py,sha256=El4WYJZVp3DpXQMZ53yVDPKOWPda5oLs3yD1qhb7dAE,5177
 certora_cli/CertoraProver/Compiler/__init__.py,sha256=tEFAmNyx9WL0kzpp_-4s7b6pLvxHmBWz6pQAq0yeROM,789
-certora_cli/EquivalenceCheck/Eq_default.conf,sha256=p9b8_cPnU41dVBrd8ry16H4x75TNp16HdJdmQeMuVxw,186
+certora_cli/EquivalenceCheck/Eq_default.conf,sha256=J-tMFzIuQa1NcklOh-wv2bpnikfAxFogpRFOl3qoSwM,164
 certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec,sha256=HC3Zhpp9ePV10ClZE09Ah7h84O-BTNIUH6w0aA-qIOQ,2286
 certora_cli/EquivalenceCheck/Eq_mc_template.spec,sha256=pbRhwqw0a_KHQ6W3biJeGS9otNJCnw7gPo1Fb6ROwik,2633
-certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=j1Rm9dXNiQT4ULc3jmn4OxhsG1UgiTyoGsnrIHMQDBk,183
+certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=BuBI5YNg25b--iQxpNxBzb4v-q-HByObCx7R5Uy1jRw,161
 certora_cli/EquivalenceCheck/Eq_template.spec,sha256=YGaG5KxSOhelDiBd1oxDnVC8VhPl6coaxHiY4lXVf6o,823
 certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
 certora_cli/EquivalenceCheck/sanity.spec,sha256=tWmE9z2Sq3_SWaqKDRQaNajRrw94maUrirvoUmX89LE,103
 certora_cli/Mutate/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/Mutate/mutateApp.py,sha256=bLBZeaVdK3kQ8u96wMoxNJhSKiQhRAlcv775QVKGMwU,87844
+certora_cli/Mutate/mutateApp.py,sha256=vLLTokkVs-dSyOPSymMZRGj_MmVxwdogTJgS_8LqPXI,87887
 certora_cli/Mutate/mutateAttributes.py,sha256=brsoisPowxpxQxN_-y0NDvsv8feoHONhtlOayXaLDdk,10092
 certora_cli/Mutate/mutateConstants.py,sha256=LRrz3wMM8WpPYSshkc-PLYqT0nexcWQeBNsehip-LOE,3945
 certora_cli/Mutate/mutateUtil.py,sha256=B7MCIFtZBetjR4MMxU6F5ikYsaot1wTG7XYMjgVXl4k,2287
@@ -65,12 +65,12 @@ certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aO
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
 certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
 certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=lM5cIB3mHhyoz0qppqjKzc0yK64Ff8o94ullruu2POM,146
-certora_jars/Typechecker.jar,sha256=VWcMMxSoxREOiKm-x5719hlCGIDfq4as_XhfgeVOLDQ,17137909
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=j8bVz9zl2GrWRNLkCyJqxowmkL3ViT7lv_8gGapoAxw,146
+certora_jars/Typechecker.jar,sha256=F8N8aedlUn9WQ3KX_3I5QgzSRnuyNa0HmCYj1uWyHMo,17139024
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-7.30.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-7.30.0.dist-info/METADATA,sha256=ComSNgUDL-0XSXaWXa6IYip99Ryt05AwDlek5AHgFbo,1231
-certora_cli_beta_mirror-7.30.0.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_beta_mirror-7.30.0.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_beta_mirror-7.30.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-7.30.0.dist-info/RECORD,,
+certora_cli_beta_mirror-7.30.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-7.30.1.dist-info/METADATA,sha256=CFnS5p5BHGEdNORrYyCT4U27P_260PWpBD6s5UEaUvE,1231
+certora_cli_beta_mirror-7.30.1.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_beta_mirror-7.30.1.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_beta_mirror-7.30.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-7.30.1.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-beta-mirror", "tag": "7.30.0", "branch": "", "commit": "adec240", "timestamp": "20250527.16.14.821753", "version": "7.30.0"}
+{"name": "certora-cli-beta-mirror", "tag": "7.30.1", "branch": "", "commit": "5c9b8e0", "timestamp": "20250604.15.13.217266", "version": "7.30.1"}