Ugly Alpha 1
modelator:0.1.0

total uncompressed bytes

164.0 KB

total files

35

Fix

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

5 wasted files

total waste: 8.6 KB

  1. tests/integration/main.rs : 7.1 KB
  2. tests/integration/tla/Numbers.tla : 805 B
  3. tests/integration/tla/NumbersAMinBMaxTest.tla : 308 B
  4. tests/integration/tla/NumbersAMaxBMinTest.tla : 308 B
  5. tests/integration/tla/Numbers.cfg : 50 B