Ugly Alpha 1
tendermint-light-client:0.21.0

total uncompressed bytes

5.7 MB

total files

151

Fix

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

114 wasted files

total waste: 5.5 MB

  1. tests/support/model_based/single_step/MC100_2_faulty_TestSuccess.json : 1.6 MB
  2. tests/support/model_based/single_step/MC50_2_faulty_TestSuccess.json : 312.0 KB
  3. tests/support/model_based/single_step/MC50_2_faulty_TestFailure.json : 194.0 KB
  4. tests/support/model_based/single_step/MC100_2_faulty_TestFailure.json : 193.2 KB
  5. tests/support/bisection/multi_peer/conflicting_valid_commits_from_one_of_the_witnesses.json : 133.1 KB
  6. tests/support/model_based/single_step/MC100_2_faulty_TestSuccess.tla : 107.1 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 : 88.1 KB
  9. tests/support/bisection/single_peer/header_out_of_trusting_period.json : 88.1 KB
  10. tests/support/bisection/multi_peer/malicious_validator_set.json : 88.1 KB
  11. tests/support/bisection/single_peer/_happy_path.json : 85.2 KB
  12. tests/support/model_based/single_step/MC100_2_faulty_TestFailure.tla : 83.5 KB
  13. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDifferentAllSteps.json : 70.1 KB
  14. tests/support/bisection/single_peer/not_enough_commits.json : 68.2 KB
  15. tests/support/bisection/single_peer/_worst_case.json : 66.2 KB
  16. tests/support/model_based/single_step/MC10_3_faulty_TestSuccess.json : 64.2 KB
  17. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsValsetChanges.json : 63.5 KB
  18. tests/support/model_based/single_step/MC10_3_faulty_TestTwoThirdsValsetChanges.json : 62.7 KB
  19. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.json : 61.1 KB
  20. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsSign.json : 56.2 KB
  21. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictSuccess.json : 53.3 KB
  22. tests/support/model_based/single_step/MC50_2_faulty_TestSuccess.tla : 52.5 KB
  23. tests/support/model_based/single_step/MC10_3_faulty_TestOneThirdValsetChanges.json : 52.2 KB
  24. tests/support/model_based/single_step/MC50_2_faulty_TestFailure.tla : 49.1 KB
  25. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChanges.json : 48.7 KB
  26. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.json : 47.5 KB
  27. tests/support/model_based/single_step/MC10_3_faulty_TestValsetHalves.json : 46.5 KB
  28. tests/support/model_based/single_step/MC10_3_faulty_TestValsetChangesFully.json : 45.2 KB
  29. tests/support/bisection/multi_peer/conflicting_headers.json : 44.5 KB
  30. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderNotWithinTrustingPeriod.json : 41.1 KB
  31. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanThirdValsetChanges.json : 40.4 KB
  32. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.json : 39.4 KB
  33. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.json : 38.9 KB
  34. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDoubles.json : 38.8 KB
  35. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDoubles.json : 34.3 KB
  36. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.tla : 33.3 KB
  37. tests/support/model_based/single_step/MC4_4_faulty_TestOneThirdValsetChanges.json : 33.2 KB
  38. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.json : 33.1 KB
  39. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanTwoThirdsSign.json : 32.8 KB
  40. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.json : 32.8 KB
  41. tests/support/model_based/single_step/MC4_4_faulty_TestValsetHalves.json : 32.2 KB
  42. tests/support/model_based/single_step/MC4_4_faulty_TestFailure.json : 31.6 KB
  43. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.json : 31.4 KB
  44. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDifferentAllSteps.json : 30.6 KB
  45. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChanges.json : 30.2 KB
  46. tests/support/model_based/single_step/MC4_4_faulty_TestValsetChangesFully.json : 29.6 KB
  47. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictSuccess.json : 28.1 KB
  48. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanThirdValsetChanges.json : 27.4 KB
  49. tests/support/model_based/single_step/MC4_4_faulty_TestMoreThanTwoThirdsSign.json : 26.9 KB
  50. tests/support/model_based/single_step/MC10_3_faulty_TestFailure.json : 26.3 KB
  51. tests/model_based.rs : 26.2 KB
  52. tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.tla : 25.2 KB
  53. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderNotWithinTrustingPeriod.json : 22.8 KB
  54. tests/support/model_based/single_step/MC10_3_faulty_TestNonMonotonicHeight.json : 21.2 KB
  55. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.tla : 20.8 KB
  56. tests/support/model_based/single_step/MC10_3_faulty_TestSuccess.tla : 19.7 KB
  57. tests/support/model_based/Lightclient_003_draft.tla : 19.6 KB
  58. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderFromFuture.json : 18.7 KB
  59. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanTwoThirdsSign.tla : 17.8 KB
  60. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.tla : 16.7 KB
  61. tests/support/model_based/single_step/MC4_4_faulty_TestOneThirdValsetChanges.tla : 16.1 KB
  62. tests/support/model_based/single_step/MC4_4_faulty_TestValsetHalves.tla : 15.8 KB
  63. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChangesVerdictSuccess.tla : 15.8 KB
  64. tests/support/model_based/single_step/MC4_4_faulty_TestValsetChangesFully.tla : 15.7 KB
  65. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDoubles.tla : 15.6 KB
  66. tests/support/model_based/single_step/MC4_4_faulty_TestFailure.tla : 15.6 KB
  67. tests/support/model_based/single_step/MC4_4_faulty_TestValsetDifferentAllSteps.tla : 15.6 KB
  68. tests/support/model_based/single_step/MC4_4_faulty_TestLessThanThirdValsetChanges.tla : 15.6 KB
  69. tests/support/model_based/single_step/MC4_4_faulty_TestHalfValsetChanges.tla : 15.4 KB
  70. tests/support/model_based/single_step/MC4_4_faulty_TestMoreThanTwoThirdsSign.tla : 15.2 KB
  71. tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.tla : 15.0 KB
  72. tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.tla : 14.9 KB
  73. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsValsetChanges.tla : 14.8 KB
  74. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictNotEnoughTrust.tla : 14.5 KB
  75. tests/support/model_based/single_step/MC10_3_faulty_TestTwoThirdsValsetChanges.tla : 14.5 KB
  76. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderNotWithinTrustingPeriod.tla : 14.4 KB
  77. tests/support/model_based/single_step/MC10_3_faulty_TestMoreThanTwoThirdsSign.tla : 14.3 KB
  78. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDifferentAllSteps.tla : 14.1 KB
  79. tests/support/model_based/single_step/MC10_3_faulty_TestLessThanThirdValsetChanges.tla : 13.9 KB
  80. tests/support/model_based/single_step/MC10_3_faulty_TestOneThirdValsetChanges.tla : 13.8 KB
  81. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChanges.tla : 13.7 KB
  82. tests/support/model_based/single_step/MC10_3_faulty_TestValsetDoubles.tla : 13.6 KB
  83. tests/support/model_based/single_step/MC10_3_faulty_TestHalfValsetChangesVerdictSuccess.tla : 13.6 KB
  84. tests/support/model_based/single_step/MC10_3_faulty_TestValsetHalves.tla : 13.6 KB
  85. tests/support/model_based/single_step/MC10_3_faulty_TestFailure.tla : 13.5 KB
  86. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderNotWithinTrustingPeriod.tla : 12.9 KB
  87. tests/support/model_based/single_step/MC10_3_faulty_TestValsetChangesFully.tla : 12.9 KB
  88. tests/support/model_based/LightTests.tla : 12.3 KB
  89. tests/support/model_based/single_step/MC4_4_faulty_TestNonMonotonicHeight.json : 10.5 KB
  90. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.json : 9.6 KB
  91. tests/support/model_based/single_step/MC10_3_faulty_TestNonMonotonicHeight.tla : 8.3 KB
  92. tests/support/model_based/single_step/MC10_3_faulty_TestHeaderFromFuture.tla : 8.1 KB
  93. tests/support/model_based/Blockchain_003_draft.tla : 7.6 KB
  94. tests/backward.rs : 7.0 KB
  95. tests/support/model_based/single_step/MC4_4_faulty_TestNonMonotonicHeight.tla : 6.8 KB
  96. tests/support/model_based/Abstract.md : 6.6 KB
  97. tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.tla : 6.2 KB
  98. tests/support/model_based/README.md : 5.6 KB
  99. tests/support/model_based/_jsonatr-lib/apalache-tendermint.json : 5.1 KB
  100. examples/light_client.rs : 4.2 KB
  101. tests/supervisor.rs : 4.1 KB
  102. tests/light_client.rs : 3.4 KB
  103. tests/support/model_based/_jsonatr-lib/apalache_to_lite_test.json : 1.8 KB
  104. tests/support/model_based/MC100_2_faulty.tla : 1.2 KB
  105. tests/support/model_based/MC4_4_faulty.tla : 1.2 KB
  106. tests/support/model_based/MC50_2_faulty.tla : 859 B
  107. tests/support/model_based/MC4_4_faulty.json : 795 B
  108. tests/support/model_based/_jsonatr-lib/tendermint.json : 776 B
  109. tests/support/model_based/MC10_3_faulty.json : 705 B
  110. tests/support/model_based/_jsonatr-lib/unix.json : 634 B
  111. tests/support/model_based/MC10_3_faulty.tla : 567 B
  112. tests/support/model_based/MC100_2_faulty.json : 192 B
  113. tests/support/model_based/MC50_2_faulty.json : 190 B
  114. tests/support/.gitignore : 9 B