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

total uncompressed bytes

5.4 MB

total files

173

Fix

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

136 wasted files

total waste: 5.3 MB

  1. tests/support/model_based/single_step/MC100_2_faulty_TestSuccess.json : 1.3 MB
  2. tests/support/model_based/single_step/MC50_2_faulty_TestSuccess.json : 434.0 KB
  3. tests/support/model_based/single_step/MC100_2_faulty_TestFailure.json : 217.0 KB
  4. tests/support/model_based/single_step/MC50_2_faulty_TestFailure.json : 157.3 KB
  5. tests/support/bisection/multi_peer/conflicting_valid_commits_from_one_of_the_witnesses.json : 131.1 KB
  6. tests/support/model_based/single_step/MC100_2_faulty_TestSuccess.tla : 103.7 KB
  7. tests/support/model_based/LightClientMBT.png : 95.0 KB
  8. tests/support/bisection/multi_peer/conflicting_valid_commits_from_the_only_witness.json : 86.7 KB
  9. tests/support/bisection/single_peer/header_out_of_trusting_period.json : 86.7 KB
  10. tests/support/bisection/multi_peer/malicious_validator_set.json : 86.7 KB
  11. tests/support/bisection/single_peer/_happy_path.json : 85.2 KB
  12. tests/support/model_based/single_step/MC10_3_faulty_TestSuccess.json : 85.1 KB
  13. tests/support/model_based/single_step/MC100_2_faulty_TestFailure.tla : 80.8 KB
  14. tests/support/bisection/single_peer/not_enough_commits.json : 67.4 KB
  15. tests/support/bisection/single_peer/_worst_case.json : 66.2 KB
  16. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDifferentAllSteps.json : 62.4 KB
  17. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsSign.json : 57.9 KB
  18. tests/support/model_based/single_step/MC50_2_faulty_TestSuccess.tla : 56.4 KB
  19. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsValsetChanges.json : 54.9 KB
  20. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictSuccess.json : 52.4 KB
  21. tests/support/model_based/single_step/MC10_3_faulty_TestTwoThirdsValsetChanges.json : 50.0 KB
  22. tests/support/model_based/single_step/MC50_2_faulty_TestFailure.tla : 49.4 KB
  23. tests/support/model_based/single_step/MC10_3_faulty_TestValsetHalves.json : 49.4 KB
  24. tests/support/model_based/single_step/_MC4_4_faulty_TestSuccess.json : 44.3 KB
  25. tests/support/bisection/multi_peer/conflicting_headers.json : 43.9 KB
  26. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChanges.json : 42.3 KB
  27. tests/support/model_based/single_step/_MC4_4_faulty_Test3NotEnoughTrustSuccess.json : 40.9 KB
  28. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanThirdValsetChanges.json : 36.9 KB
  29. tests/support/model_based/single_step/_MC4_4_faulty_Test2NotEnoughTrustFailure.json : 36.7 KB
  30. tests/support/model_based/single_step/MC10_3_faulty_TestFailure.json : 36.0 KB
  31. tests/support/model_based/single_step/MC4_4_faulty_TestOneThirdValsetChanges.json : 35.9 KB
  32. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderNotWithinTrustingPeriod.json : 35.5 KB
  33. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanThirdValsetChanges.json : 35.1 KB
  34. tests/support/model_based/single_step/MC10_3_faulty_TestValsetChangesFully.json : 34.6 KB
  35. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDoubles.json : 33.6 KB
  36. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.tla : 33.0 KB
  37. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderNotWithinTrustingPeriod.json : 30.5 KB
  38. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDoubles.json : 30.0 KB
  39. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.json : 29.8 KB
  40. tests/support/model_based/single_step/MC10_3_faulty_TestOneThirdValsetChanges.json : 28.7 KB
  41. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanTwoThirdsSign.json : 28.7 KB
  42. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.json : 28.0 KB
  43. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.tla : 27.3 KB
  44. tests/support/model_based/single_step/_MC4_4_faulty_TestValsetDifferentAllSteps.json : 27.0 KB
  45. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictSuccess.json : 26.9 KB
  46. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanTwoThirdsSign.json : 26.7 KB
  47. tests/support/model_based/single_step/MC4_4_faulty_TestMoreThanTwoThirdsSign.json : 24.6 KB
  48. tests/support/model_based/single_step/_MC4_4_faulty_Test3NotEnoughTrustFailure.json : 24.4 KB
  49. tests/model_based.rs : 23.8 KB
  50. tests/support/model_based/single_step/MC4_4_faulty_TestValsetChangesFully.json : 23.7 KB
  51. tests/support/model_based/single_step/_MC4_4_faulty_TestFailure.json : 23.2 KB
  52. tests/support/model_based/single_step/_MC4_4_faulty_Test2NotEnoughTrustSuccess.json : 22.8 KB
  53. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChanges.json : 22.3 KB
  54. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.json : 22.0 KB
  55. tests/support/model_based/single_step/MC4_4_faulty_TestValsetHalves.json : 21.1 KB
  56. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.json : 21.1 KB
  57. tests/support/model_based/single_step/MC10_3_faulty_TestSuccess.tla : 20.9 KB
  58. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.tla : 20.8 KB
  59. tests/support/model_based/Lightclient_003_draft.tla : 18.8 KB
  60. tests/support/model_based/single_step/MC10_3_faulty_TestNonMonotonicHeight.json : 18.8 KB
  61. tests/support/model_based/single_step/MC10_3_faulty_TestUntrustedBeforeTrusted.json : 18.5 KB
  62. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanTwoThirdsSign.tla : 17.0 KB
  63. tests/support/model_based/single_step/MC4_4_faulty_TestOneThirdValsetChanges.tla : 16.2 KB
  64. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanTwoThirdsSign.tla : 16.2 KB
  65. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanThirdValsetChanges.tla : 15.9 KB
  66. tests/support/model_based/single_step/MC10_3_faulty_TestEmptyCommitNonEmptyValset.json : 15.9 KB
  67. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.tla : 15.9 KB
  68. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderNotWithinTrustingPeriod.tla : 15.6 KB
  69. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDoubles.tla : 15.5 KB
  70. tests/support/model_based/single_step/MC4_4_faulty_TestValsetChangesFully.tla : 15.3 KB
  71. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChanges.tla : 15.3 KB
  72. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.tla : 15.3 KB
  73. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDifferentAllSteps.tla : 15.3 KB
  74. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictSuccess.tla : 15.3 KB
  75. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderFromFuture.json : 15.2 KB
  76. tests/support/model_based/single_step/MC4_4_faulty_TestFailure.tla : 15.1 KB
  77. tests/support/model_based/single_step/MC4_4_faulty_TestMoreThanTwoThirdsSign.tla : 14.8 KB
  78. tests/support/model_based/single_step/MC4_4_faulty_TestValsetHalves.tla : 14.8 KB
  79. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.tla : 14.6 KB
  80. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsValsetChanges.tla : 14.3 KB
  81. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDifferentAllSteps.tla : 14.0 KB
  82. tests/support/model_based/single_step/MC10_3_faulty_TestFailure.tla : 14.0 KB
  83. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsSign.tla : 14.0 KB
  84. tests/support/model_based/single_step/MC10_3_faulty_TestValsetHalves.tla : 13.9 KB
  85. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictSuccess.tla : 13.8 KB
  86. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanThirdValsetChanges.tla : 13.7 KB
  87. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderNotWithinTrustingPeriod.tla : 13.6 KB
  88. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChanges.tla : 13.6 KB
  89. tests/support/model_based/single_step/MC10_3_faulty_TestTwoThirdsValsetChanges.tla : 13.6 KB
  90. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDoubles.tla : 13.4 KB
  91. tests/support/model_based/single_step/MC10_3_faulty_TestValsetChangesFully.tla : 12.9 KB
  92. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.tla : 12.8 KB
  93. tests/support/model_based/single_step/MC10_3_faulty_TestOneThirdValsetChanges.tla : 12.6 KB
  94. tests/support/model_based/LightTests.tla : 12.4 KB
  95. tests/support/model_based/single_step/MC10_3_faulty_TestEmptyCommitEmptyValset.json : 12.3 KB
  96. tests/support/model_based/single_step/_MC4_4_faulty_TestHeaderFromFuture.json : 10.3 KB
  97. tests/support/model_based/single_step/MC4_4_faulty_TestNonMonotonicHeight.json : 9.7 KB
  98. tests/support/model_based/single_step/MC10_3_faulty_TestNonMonotonicHeight.tla : 8.7 KB
  99. tests/support/model_based/single_step/MC10_3_faulty_TestUntrustedBeforeTrusted.tla : 8.7 KB
  100. tests/support/model_based/single_step/MC10_3_faulty_TestEmptyCommitNonEmptyValset.tla : 8.5 KB
  101. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderFromFuture.tla : 8.2 KB
  102. tests/support/model_based/single_step/MC10_3_faulty_TestEmptyCommitEmptyValset.tla : 8.1 KB
  103. tests/support/model_based/single_step/MC4_4_faulty_TestEmptyCommitNonEmptyValset.json : 7.8 KB
  104. tests/support/model_based/single_step/MC4_4_faulty_TestEmptyCommitEmptyValset.json : 7.3 KB
  105. tests/support/model_based/Blockchain_003_draft.tla : 7.0 KB
  106. tests/support/model_based/single_step/MC4_4_faulty_TestEmptyCommitNonEmptyValset.tla : 6.7 KB
  107. tests/support/model_based/single_step/MC4_4_faulty_TestEmptyCommitEmptyValset.tla : 6.6 KB
  108. tests/support/model_based/single_step/MC4_4_faulty_TestNonMonotonicHeight.tla : 6.6 KB
  109. tests/support/model_based/Abstract.md : 6.6 KB
  110. tests/support/model_based/single_step/MC4_4_faulty_TestUntrustedBeforeTrusted.tla : 6.5 KB
  111. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.tla : 6.3 KB
  112. tests/support/model_based/single_step/_MC4_4_faulty_TestUntrustedBeforeTrusted.json : 6.1 KB
  113. tests/support/model_based/README.md : 5.1 KB
  114. tests/support/model_based/_jsonatr-lib/apalache-tendermint.json : 5.1 KB
  115. tests/support/voting_power/7_signatures_from_diff_valset.json : 5.1 KB
  116. tests/support/voting_power/3_2_all_signatures_invalid.json : 5.0 KB
  117. tests/support/voting_power/3_1_one_invalid_signature.json : 5.0 KB
  118. tests/support/voting_power/2_2_all_signatures_nil.json : 5.0 KB
  119. tests/light_client.rs : 4.7 KB
  120. tests/support/voting_power/2_1_all_signatures_absent.json : 4.5 KB
  121. examples/light_client.rs : 4.2 KB
  122. tests/supervisor.rs : 4.1 KB
  123. tests/integration.rs : 3.7 KB
  124. tests/support/voting_power/1_empty_signatures.json : 2.7 KB
  125. tests/support/model_based/_jsonatr-lib/apalache_to_lite_test.json : 1.8 KB
  126. tests/support/model_based/MC100_2_faulty.tla : 1.2 KB
  127. tests/support/model_based/MC50_2_faulty.tla : 859 B
  128. tests/support/model_based/MC4_4_faulty.json : 829 B
  129. tests/support/model_based/_jsonatr-lib/tendermint.json : 776 B
  130. tests/support/model_based/MC10_3_faulty.json : 772 B
  131. tests/support/model_based/_jsonatr-lib/unix.json : 634 B
  132. tests/support/model_based/MC10_3_faulty.tla : 567 B
  133. tests/support/model_based/MC4_4_faulty.tla : 529 B
  134. tests/support/model_based/MC100_2_faulty.json : 192 B
  135. tests/support/model_based/MC50_2_faulty.json : 190 B
  136. tests/support/.gitignore : 9 B