Ugly Alpha 1
modelator:0.4.2

total uncompressed bytes

264.9 KB

total files

72

Fix

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

37 wasted files

total waste: 57.4 KB

  1. tests/integration/resource/IndicesBalances.tla : 5.3 KB
  2. tests/integration/resource/IBC_ics02.tla : 5.1 KB
  3. tests/integration/main.rs : 4.7 KB
  4. tests/integration/resource/Indices.tla : 4.3 KB
  5. tests/integration/resource/Numbers.json : 3.8 KB
  6. tests/integration/resource/TrafficCrossing.tla : 3.6 KB
  7. tests/integration/common.rs : 3.1 KB
  8. tests/integration/resource/IndicesBalancesExec.tla : 3.0 KB
  9. tests/integration/resource/IndicesExec.tla : 3.0 KB
  10. tests/integration/resource/IndicesBalancesHistoryTests.tla : 2.9 KB
  11. tests/integration/resource/IndicesHistoryTests.tla : 2.1 KB
  12. tests/integration/resource/numbers.rs : 2.1 KB
  13. tests/integration/resource/TrafficCrossing.json : 1.6 KB
  14. tests/integration/resource/IndicesBalancesTests.tla : 1.6 KB
  15. tests/integration/resource/Indices.json : 1.5 KB
  16. tests/integration/resource/IndicesTests.tla : 1.4 KB
  17. tests/integration/error.rs : 1.3 KB
  18. tests/integration/resource/Numbers.tla : 1.3 KB
  19. tests/integration/resource/TrafficCrossingHistoryTest.tla : 1.3 KB
  20. tests/integration/resource/2PossibleTraces.json : 1.1 KB
  21. tests/integration/resource/2PossibleTraces.tla : 628 B
  22. tests/integration/resource/IBC_ics02.json : 343 B
  23. tests/integration/resource/NumbersAMaxBMaxTest.tla : 316 B
  24. tests/integration/resource/TrafficCrossingTest.tla : 315 B
  25. tests/integration/resource/NumbersAMinBMaxTest.tla : 308 B
  26. tests/integration/resource/NumbersAMaxBMinTest.tla : 308 B
  27. tests/integration/resource/NumbersBIsOdd.tla : 289 B
  28. tests/integration/resource/2PossibleTracesTests.tla : 230 B
  29. tests/integration/resource/smoke.json : 151 B
  30. tests/integration/resource/IndicesTests.cfg : 83 B
  31. tests/integration/resource/Indices.cfg : 69 B
  32. tests/integration/resource/TrafficCrossingTest.cfg : 62 B
  33. tests/integration/resource/TrafficCrossingHistoryTest.cfg : 62 B
  34. tests/integration/resource/Numbers.cfg : 49 B
  35. tests/integration/resource/2PossibleTraces.cfg : 19 B
  36. tests/integration/resource/mod.rs : 17 B
  37. rust-toolchain : 7 B