Ugly Alpha 1
tendermint-light-client:0.17.0-rc1

total uncompressed bytes

1.8 MB

total files

124

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "README.md", ], has_build_script: false, }

87 wasted files

total waste: 1.6 MB

  1. tests/support/single_step/sequential/validator_set/_128_validators.json : 174.9 KB
  2. tests/support/bisection/multi_peer/conflicting_valid_commits_from_one_of_the_witnesses.json : 128.3 KB
  3. tests/support/model_based/LightClientMBT.png : 95.0 KB
  4. tests/support/bisection/multi_peer/conflicting_valid_commits_from_the_only_witness.json : 84.8 KB
  5. tests/support/bisection/single_peer/header_out_of_trusting_period.json : 84.8 KB
  6. tests/support/bisection/multi_peer/malicious_validator_set.json : 84.8 KB
  7. tests/support/bisection/single_peer/_happy_path.json : 84.8 KB
  8. tests/support/bisection/single_peer/not_enough_commits.json : 66.4 KB
  9. tests/support/bisection/single_peer/_worst_case.json : 65.8 KB
  10. tests/support/bisection/multi_peer/conflicting_headers.json : 43.1 KB
  11. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.tla : 33.1 KB
  12. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.tla : 26.7 KB
  13. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.json : 25.4 KB
  14. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.json : 24.7 KB
  15. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.tla : 21.1 KB
  16. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.tla : 21.0 KB
  17. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.json : 20.9 KB
  18. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.json : 19.7 KB
  19. tests/support/model_based/Lightclient_002_draft.tla : 18.8 KB
  20. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDifferentAllSteps.json : 16.5 KB
  21. tests/support/single_step/sequential/validator_set/_valset_changes_fully.json : 16.4 KB
  22. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDifferentAllSteps.tla : 15.6 KB
  23. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.json : 14.9 KB
  24. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.tla : 14.7 KB
  25. tests/support/model_based/single_step/MC4_4_faulty_TestFailure.tla : 14.6 KB
  26. tests/support/single_step/sequential/validator_set/_8_validators.json : 14.4 KB
  27. tests/support/single_step/sequential/validator_set/_more_than_two_thirds_valset_changes.json : 14.2 KB
  28. tests/support/single_step/sequential/validator_set/_less_than_one_third_valset_changes.json : 14.2 KB
  29. tests/support/single_step/sequential/validator_set/_half_valset_changes.json : 14.2 KB
  30. tests/support/model_based/single_step/MC4_4_faulty_TestFailure.json : 14.2 KB
  31. tests/support/single_step/sequential/validator_set/_valset_size_doubles.json : 12.1 KB
  32. tests/support/single_step/sequential/validator_set/_two_thirds_valset_changes.json : 12.1 KB
  33. tests/support/single_step/sequential/validator_set/_one_third_valset_changes.json : 12.1 KB
  34. tests/support/single_step/sequential/validator_set/_valset_size_halves.json : 12.1 KB
  35. tests/support/single_step/skipping/validator_set/_valset_changes_less_than_trust_level.json : 9.1 KB
  36. tests/support/single_step/skipping/validator_set/_valset_changes_more_than_trust_level.json : 9.0 KB
  37. tests/support/single_step/sequential/commit/_less_than_one_third_nil_votes.json : 9.0 KB
  38. tests/support/single_step/skipping/commit/_more_than_two_third_vals_sign.json : 8.9 KB
  39. tests/support/single_step/sequential/commit/_more_than_two_third_vals_sign.json : 8.9 KB
  40. tests/support/single_step/sequential/validator_set/faulty_signer.json : 8.2 KB
  41. tests/support/single_step/skipping/commit/more_signatures_than_validators.json : 7.9 KB
  42. tests/support/single_step/skipping/validator_set/_skip_one_block.json : 7.7 KB
  43. tests/support/single_step/skipping/validator_set/_skip_five_blocks.json : 7.7 KB
  44. tests/support/single_step/sequential/validator_set/wrong_valset.json : 7.6 KB
  45. tests/support/single_step/skipping/commit/one_third_vals_dont_sign.json : 7.6 KB
  46. tests/support/single_step/sequential/commit/one_third_vals_dont_sign.json : 7.5 KB
  47. tests/support/model_based/Blockchain_002_draft.tla : 7.1 KB
  48. tests/model_based.rs : 6.8 KB
  49. tests/support/model_based/Abstract.md : 6.6 KB
  50. tests/support/model_based/single_step/MC4_4_faulty_TestUntrustedBeforeTrusted.tla : 6.5 KB
  51. tests/light_client.rs : 6.4 KB
  52. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.tla : 6.1 KB
  53. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.json : 6.0 KB
  54. tests/support/model_based/single_step/MC4_4_faulty_TestUntrustedBeforeTrusted.json : 6.0 KB
  55. tests/support/model_based/README.md : 5.1 KB
  56. tests/support/voting_power/7_signatures_from_diff_valset.json : 5.0 KB
  57. tests/support/single_step/skipping/header/out_of_trusting_period.json : 5.0 KB
  58. tests/support/voting_power/3_2_all_signatures_invalid.json : 5.0 KB
  59. tests/support/voting_power/3_1_one_invalid_signature.json : 5.0 KB
  60. tests/support/voting_power/2_2_all_signatures_nil.json : 5.0 KB
  61. tests/support/single_step/sequential/validator_set/_1_validator.json : 5.0 KB
  62. tests/support/single_step/skipping/header/header_from_future.json : 5.0 KB
  63. tests/support/single_step/sequential/header/non_monotonic_bft_time.json : 5.0 KB
  64. tests/support/single_step/sequential/header/non_monotonic_header_height.json : 4.9 KB
  65. tests/support/single_step/sequential/header/wrong_next_valset_hash.json : 4.9 KB
  66. tests/support/single_step/sequential/header/wrong_header_timestamp.json : 4.9 KB
  67. tests/support/single_step/sequential/header/wrong_chain_id.json : 4.9 KB
  68. tests/support/single_step/sequential/commit/wrong_vote_signature.json : 4.9 KB
  69. tests/support/single_step/sequential/commit/wrong_commit_height.json : 4.9 KB
  70. tests/support/single_step/sequential/commit/wrong_header_hash.json : 4.9 KB
  71. tests/support/single_step/sequential/header/wrong_valset_hash.json : 4.9 KB
  72. tests/support/single_step/sequential/header/wrong_last_commit_hash.json : 4.9 KB
  73. tests/support/single_step/sequential/header/wrong_last_block_id.json : 4.9 KB
  74. tests/support/model_based/_jsonatr-lib/apalache-tendermint.json : 4.8 KB
  75. tests/support/single_step/skipping/commit/no_signatures.json : 4.7 KB
  76. tests/support/voting_power/2_1_all_signatures_absent.json : 4.4 KB
  77. examples/light_client.rs : 4.2 KB
  78. tests/supervisor.rs : 4.1 KB
  79. tests/integration.rs : 3.7 KB
  80. tests/support/model_based/LightTests.tla : 3.6 KB
  81. tests/support/voting_power/1_empty_signatures.json : 2.7 KB
  82. tests/support/model_based/_jsonatr-lib/apalache_to_lite_test.json : 1.5 KB
  83. tests/support/model_based/_jsonatr-lib/tendermint.json : 776 B
  84. tests/support/model_based/_jsonatr-lib/unix.json : 634 B
  85. tests/support/model_based/MC4_4_faulty.tla : 529 B
  86. tests/support/model_based/MC4_4_faulty.json : 420 B
  87. tests/support/.gitignore : 9 B