total uncompressed bytes
755.2 KB
total files
147
Fix
17 wasted files
total waste: 79.5 KB
- tests/runner/mod.rs : 20.4 KB
- tests/support/model_based/ICS03.tla : 19.4 KB
- tests/support/model_based/IBC.tla : 16.9 KB
- tests/runner/step.rs : 4.6 KB
- tests/support/model_based/ICS02.tla : 3.4 KB
- tests/README.md : 2.6 KB
- tests/support/query/serialization/client_state_proof.json : 2.4 KB
- tests/support/signed_header.json : 2.4 KB
- tests/support/query/serialization/consensus_state_proof.json : 1.9 KB
- tests/support/model_based/IBCTests.tla : 1.7 KB
- tests/support/model_based/IBCDefinitions.tla : 1.2 KB
- tests/support/query/serialization/client_state.json : 1.1 KB
- tests/mbt.rs : 579 B
- tests/support/query/serialization/consensus_state.json : 443 B
- tests/support/model_based/IBC.cfg : 192 B
- tests/support/model_based/.gitignore : 184 B
- tests/support/model_based/IBCTests.cfg : 149 B