Ugly Alpha 1
modelator:0.3.1

total uncompressed bytes

252.0 KB

total files

58

Fix

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

23 wasted files

total waste: 48.3 KB

  1. tests/integration/main.rs : 10.8 KB
  2. tests/integration/tla/IndicesBalances.tla : 5.3 KB
  3. tests/integration/tla/IBC_ics02.tla : 5.1 KB
  4. tests/integration/tla/Indices.tla : 4.3 KB
  5. tests/integration/tla/TrafficCrossing.tla : 3.6 KB
  6. tests/integration/tla/IndicesBalancesExec.tla : 3.0 KB
  7. tests/integration/tla/IndicesExec.tla : 3.0 KB
  8. tests/integration/tla/IndicesBalancesHistoryTests.tla : 2.9 KB
  9. tests/integration/tla/IndicesHistoryTests.tla : 2.1 KB
  10. tests/integration/tla/IndicesBalancesTests.tla : 1.6 KB
  11. tests/integration/tla/IndicesTests.tla : 1.4 KB
  12. tests/integration/tla/Numbers.tla : 1.3 KB
  13. tests/integration/tla/TrafficCrossingHistoryTest.tla : 1.3 KB
  14. examples/auto_complete.rs : 1.1 KB
  15. tests/integration/tla/NumbersAMaxBMaxTest.tla : 316 B
  16. tests/integration/tla/TrafficCrossingTest.tla : 315 B
  17. tests/integration/tla/NumbersAMinBMaxTest.tla : 308 B
  18. tests/integration/tla/NumbersAMaxBMinTest.tla : 308 B
  19. tests/integration/tla/IndicesTests.cfg : 77 B
  20. tests/integration/tla/Indices.cfg : 69 B
  21. tests/integration/tla/TrafficCrossingTest.cfg : 62 B
  22. tests/integration/tla/TrafficCrossingHistoryTest.cfg : 62 B
  23. tests/integration/tla/Numbers.cfg : 49 B