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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2939 1 T136 13 T137 11 T138 18
len_5001_7500 6922 1 T48 1 T136 27 T137 28
len_2501_5000 1689 1 T48 1 T136 10 T137 3
len_1025_2500 978 1 T48 1 T136 6 T137 3
len_769_1024 5410 1 T11 3 T12 5 T13 1
len_513_768 5993 1 T11 1 T12 3 T22 3
len_257_512 6164 1 T11 2 T12 2 T13 1
len_0_256 17223 1 T1 3 T3 3 T16 3
len_keccak_block_sizes[72] 33 1 T42 1 T47 1 T50 1
len_keccak_block_sizes[104] 31 1 T42 1 T47 1 T50 1
len_keccak_block_sizes[136] 38 1 T47 1 T50 1 T130 1
len_keccak_block_sizes[144] 30 1 T47 1 T50 1 T130 1
len_keccak_block_sizes[168] 27 1 T12 1 T178 1 T179 1
len_1 81 1 T30 1 T42 1 T47 1
len_0 527 1 T30 3 T42 1 T47 1

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