Ugly Alpha 1
modelator:0.3.0

total uncompressed bytes

201.8 KB

total files

41

Fix

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

6 wasted files

total waste: 12.6 KB

  1. tests/integration/main.rs : 10.5 KB
  2. tests/integration/tla/Numbers.tla : 1.2 KB
  3. tests/integration/tla/NumbersAMaxBMaxTest.tla : 316 B
  4. tests/integration/tla/NumbersAMinBMaxTest.tla : 308 B
  5. tests/integration/tla/NumbersAMaxBMinTest.tla : 308 B
  6. tests/integration/tla/Numbers.cfg : 49 B