certora-cli-alpha-master 20250521.18.44.197981__py3-none-any.whl → 20250521.21.15.727833__py3-none-any.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
@@ -62,14 +62,14 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubv
62
62
  certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
63
63
  certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aOYhoOY,55185
64
64
  certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
65
- certora_cli/Shared/proverCommon.py,sha256=NZ7DRdGU_rdjkomDZ61VKmm9m95CFubJ9AoA_iWvoUw,11172
65
+ certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
66
66
  certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
67
- certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=8sksWRj3czd_jVVuBJiZKyIk4U8X-Yr1OgflrH6W2mI,170
68
- certora_jars/Typechecker.jar,sha256=nzjD2W0u4osdCQWjbdzLVERaPrgGL-zxxvvDcrC8I0Y,17137905
67
+ certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=veMpDpxv-NLAJFNU_NPijPksSEPKtDE456upT_thBd4,170
68
+ certora_jars/Typechecker.jar,sha256=sbjjBIN4iiVY1F1PYk6aRCOXCfbJJVWGBK4SMFvNFp4,17137905
69
69
  certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
70
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
71
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/METADATA,sha256=hP6suFieOb1qJhn4C3sSJA6gF1GcAOo8gppNBMqMlPk,1248
72
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
73
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
74
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
75
- certora_cli_alpha_master-20250521.18.44.197981.dist-info/RECORD,,
70
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
71
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/METADATA,sha256=n60xRl0hU6975ZESTpPX9IFKs6MAcBgwUKP5RGQlslQ,1248
72
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
73
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
74
+ certora_cli_alpha_master-20250521.21.15.727833.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
75
+ 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