total uncompressed bytes
565.7 KB
total files
130
Fix
19 wasted files
total waste: 37.5 KB
- tests/executor/mod.rs : 9.6 KB
- tests/support/model_based/IBC.tla : 5.5 KB
- tests/README.md : 2.9 KB
- tests/support/model_based/ICS02.tla : 2.6 KB
- tests/support/model_based/tests/ICS02UpdateOKTest.json : 2.5 KB
- tests/support/query/serialization/client_state_proof.json : 2.4 KB
- tests/support/signed_header.json : 2.4 KB
- tests/executor/modelator.rs : 2.0 KB
- tests/support/query/serialization/consensus_state_proof.json : 1.9 KB
- tests/support/query/serialization/client_state.json : 1.1 KB
- tests/support/model_based/tests/ICS02HeaderVerificationFailureTest.json : 1.0 KB
- tests/executor/step.rs : 1.0 KB
- tests/support/model_based/IBCTests.tla : 683 B
- tests/mbt.rs : 584 B
- tests/support/query/serialization/consensus_state.json : 443 B
- tests/support/model_based/IBCDefinitions.tla : 408 B
- tests/support/model_based/IBC.cfg : 166 B
- tests/support/model_based/IBCTests.cfg : 122 B
- tests/support/model_based/.gitignore : 104 B