total uncompressed bytes
796.9 KB
total files
149
Fix
17 wasted files
total waste: 87.7 KB
- tests/runner/mod.rs : 22.1 KB
- tests/support/model_based/IBC.tla : 19.8 KB
- tests/support/model_based/ICS03.tla : 19.2 KB
- tests/support/model_based/ICS02.tla : 5.1 KB
- tests/runner/step.rs : 4.9 KB
- tests/support/model_based/IBCDefinitions.tla : 2.7 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/query/serialization/client_state.json : 1.1 KB
- tests/mbt.rs : 791 B
- tests/support/query/serialization/consensus_state.json : 443 B
- tests/support/model_based/IBC.cfg : 221 B
- tests/support/model_based/.gitignore : 184 B
- tests/support/model_based/IBCTests.cfg : 176 B