z3:0.8.0total uncompressed bytes161.2 KBtotal files20FixNewInclude { include: [ "src/**/*", "LICENSE.txt", "README.md", ], has_build_script: false, }3 wasted filestotal waste: 38.5 KBtests/lib.rs : 24.0 KBtests/semver_tests.rs : 9.3 KBtests/ops.rs : 5.2 KB