total uncompressed bytes
60.0 KB
total files
31
Fix
25 wasted files
total waste: 13.4 KB
- tests/test_transitive_closure.rs : 2.0 KB
- tests/test_destructure.rs : 1.5 KB
- tests/test_fibonacci.rs : 1.4 KB
- tests/ui/bad_visibility_of_relation.stderr : 1.1 KB
- tests/ui/unbound_variable.stderr : 1.0 KB
- tests/ui/not_eq_relation.stderr : 976 B
- tests/test_parse.rs : 951 B
- tests/test_structs.rs : 775 B
- tests/ui/bad_visibility_of_relation.rs : 473 B
- tests/ui/capital_letter_var.stderr : 430 B
- tests/test_negation.rs : 425 B
- tests/ui/unbound_variable.rs : 301 B
- tests/ui/not_eq_relation.rs : 273 B
- tests/ui/bad_goal_input.rs : 251 B
- tests/ui/invalid_arity.rs : 237 B
- tests/ui/capital_letter_var.rs : 221 B
- tests/ui/recursive_negation.stderr : 170 B
- tests/ui/invalid_arity.stderr : 166 B
- tests/ui/underscore_in_goal.rs : 150 B
- tests/ui/recursive_negation.rs : 143 B
- tests/ui/bad_goal_input.stderr : 143 B
- tests/ui/underscore_in_goal.stderr : 118 B
- tests/test_ui.rs : 102 B
- .editorconfig : 81 B
- .gitignore : 19 B