Ugly Alpha 1
modelator:0.2.0

total uncompressed bytes

182.4 KB

total files

37

Fix

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

6 wasted files

total waste: 12.8 KB

  1. tests/integration/main.rs : 10.6 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