Group : kmac_env_pkg::kmac_env_cov::msg_len_cg
dashboard | hierarchy | modlist | groups | tests | asserts


Summary for Group kmac_env_pkg::kmac_env_cov::msg_len_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 15 0 15 100.00


Variables for Group kmac_env_pkg::kmac_env_cov::msg_len_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
msg_len 15 0 15 100.00 100 1 1 0


Summary for Variable msg_len

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 15 0 15 100.00


User Defined Bins for msg_len

Excluded/Illegal bins
NAMECOUNTSTATUS
remainder 273 Excluded


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2632 1 T15 2 T117 10 T78 9
len_5001_7500 6511 1 T117 34 T78 10 T24 16
len_2501_5000 1567 1 T117 5 T78 2 T24 2
len_1025_2500 868 1 T117 2 T78 4 T24 3
len_769_1024 5438 1 T10 3 T12 4 T13 4
len_513_768 6000 1 T10 3 T12 2 T13 8
len_257_512 5971 1 T10 7 T12 5 T13 8
len_0_256 22377 1 T1 157 T2 105 T3 137
len_keccak_block_sizes[72] 38 1 T2 1 T3 1 T49 1
len_keccak_block_sizes[104] 33 1 T2 1 T3 1 T49 1
len_keccak_block_sizes[136] 26 1 T3 1 T159 1 T158 1
len_keccak_block_sizes[144] 25 1 T34 1 T159 1 T158 1
len_keccak_block_sizes[168] 30 1 T31 1 T159 1 T158 1
len_1 46 1 T1 2 T2 1 T3 1
len_0 499 1 T1 3 T2 1 T3 1

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%