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 302 Excluded


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2803 1 T96 1 T133 2 T139 7
len_5001_7500 6472 1 T96 9 T133 7 T139 14
len_2501_5000 1575 1 T133 1 T139 6 T32 2
len_1025_2500 942 1 T96 1 T139 1 T187 1
len_769_1024 5423 1 T22 7 T62 1 T37 8
len_513_768 5902 1 T4 1 T22 6 T37 14
len_257_512 5955 1 T4 1 T22 7 T37 6
len_0_256 21182 1 T2 3 T3 3 T4 1
len_keccak_block_sizes[72] 33 1 T16 1 T77 1 T79 1
len_keccak_block_sizes[104] 30 1 T77 1 T79 1 T85 1
len_keccak_block_sizes[136] 31 1 T77 1 T79 1 T91 1
len_keccak_block_sizes[144] 31 1 T79 1 T91 1 T188 1
len_keccak_block_sizes[168] 30 1 T91 1 T164 1 T54 1
len_1 81 1 T16 1 T77 1 T60 2
len_0 527 1 T16 1 T77 1 T60 3

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