total uncompressed bytes
454.8 KB
total files
32
Fix
23 wasted files
total waste: 392.5 KB
- tests/compile-fail/timeout/Herbie.db : 95.2 KB
- tests/compile-fail/herbie-inout/Herbie.orig.db : 95.2 KB
- tests/compile-fail/herbie-inout/Herbie.dest.db : 95.2 KB
- tests/compile-fail/general/Herbie.db : 95.2 KB
- tests/compile-fail/general/test.rs : 3.8 KB
- tests/lisp.rs : 3.2 KB
- tests/test.rs : 2.0 KB
- tests/compile-fail/timeout/test.rs : 369 B
- tests/compile-fail/herbie-inout/test.rs : 311 B
- misc/Dockerfile : 270 B
- TODO.md : 266 B
- tests/compile-fail/conf-error/test.rs : 260 B
- tests/compile-fail/timeout/herbie-inout : 203 B
- tests/compile-fail/herbie-inout/herbie-inout : 193 B
- tests/compile-fail/general/README.md : 174 B
- tests/compile-fail/no-db/test.rs : 165 B
- .travis.yml : 149 B
- herbie-inout : 35 B
- misc/herbie-inout : 35 B
- tests/compile-fail/timeout/Herbie.toml : 30 B
- tests/compile-fail/herbie-inout/Herbie.toml : 18 B
- .gitignore : 18 B
- tests/compile-fail/conf-error/Herbie.toml : 7 B