certora-cli-alpha-master 20250521.18.44.197981__py3-none-macosx_10_9_universal2.whl → 20250521.21.15.727833__py3-none-macosx_10_9_universal2.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (9) hide show
  1. certora_cli/Shared/proverCommon.py +1 -1
  2. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/METADATA +2 -2
  3. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/RECORD +9 -9
  4. certora_jars/CERTORA-CLI-VERSION-METADATA.json +1 -1
  5. certora_jars/Typechecker.jar +0 -0
  6. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/LICENSE +0 -0
  7. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/WHEEL +0 -0
  8. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/entry_points.txt +0 -0
  9. {certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/top_level.txt +0 -0
certora_cli/Shared/proverCommon.py CHANGED
@@ -175,7 +175,7 @@ def run_local(context: CertoraContext, timings: Dict, additional_commands: Optio
175
175
  if additional_commands:
176
176
  cmd.extend(additional_commands)
177
177
 
178
- print("Verifier run command:\n %s", " ".join(cmd))
178
+ print(f'Verifier run command:\n {" ".join(cmd)}')
179
179
  rc = Util.run_jar_cmd(
180
180
  cmd,
181
181
  override_exit_code=compare_with_expected_file,
{certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: certora-cli-alpha-master
3
- Version: 20250521.18.44.197981
3
+ Version: 20250521.21.15.727833
4
4
  Summary: Runner for the Certora Prover
5
5
  Home-page: https://pypi.org/project/certora-cli-alpha-master
6
6
  Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
37
37
  Dynamic: requires-python
38
38
  Dynamic: summary
39
39
 
40
- Commit 760f203. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
40
+ Commit 550e386. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
{certora_cli_alpha_master-20250521.18.44.197981.dist-info → certora_cli_alpha_master-20250521.21.15.727833.dist-info}/RECORD RENAMED
@@ -63,14 +63,14 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubv
63
63
  certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
64
64
  certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aOYhoOY,55185
65
65
  certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
66
- certora_cli/Shared/proverCommon.py,sha256=NZ7DRdGU_rdjkomDZ61VKmm9m95CFubJ9AoA_iWvoUw,11172
66
+ certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
67
67
  certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
68
- certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=8sksWRj3czd_jVVuBJiZKyIk4U8X-Yr1OgflrH6W2mI,170
69
- certora_jars/Typechecker.jar,sha256=nzjD2W0u4osdCQWjbdzLVERaPrgGL-zxxvvDcrC8I0Y,17137905
68
+ certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=veMpDpxv-NLAJFNU_NPijPksSEPKtDE456upT_thBd4,170
69
+ certora_jars/Typechecker.jar,sha256=sbjjBIN4iiVY1F1PYk6aRCOXCfbJJVWGBK4SMFvNFp4,17137905
70
70
  certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
71
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
72
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/METADATA,sha256=hP6suFieOb1qJhn4C3sSJA6gF1GcAOo8gppNBMqMlPk,1248
73
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
74
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
75
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
76
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/RECORD,,
71
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
72
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/METADATA,sha256=n60xRl0hU6975ZESTpPX9IFKs6MAcBgwUKP5RGQlslQ,1248
73
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
74
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
75
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
76
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/RECORD,,
certora_jars/CERTORA-CLI-VERSION-METADATA.json CHANGED
@@ -1 +1 @@
1
- {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "760f203", "timestamp": "20250521.18.44.197981", "version": "20250521.18.44.197981+760f203"}
1
+ {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "550e386", "timestamp": "20250521.21.15.727833", "version": "20250521.21.15.727833+550e386"}
certora_jars/Typechecker.jar CHANGED
Binary file