Ugly Alpha 1
tendermint-testgen:0.20.0

total uncompressed bytes

124.2 KB

total files

24

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "README.md", "bin/tendermint-testgen.rs", ], has_build_script: false, }

4 wasted files

total waste: 8.3 KB

  1. jsonatr-lib/apalache-tendermint.json : 5.1 KB
  2. jsonatr-lib/apalache_to_lite_test.json : 1.8 KB
  3. jsonatr-lib/tendermint.json : 776 B
  4. jsonatr-lib/unix.json : 634 B