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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2667 1 T120 6 T121 8 T145 1
len_5001_7500 6669 1 T120 13 T121 21 T145 5
len_2501_5000 1511 1 T12 1 T120 1 T121 5
len_1025_2500 892 1 T120 4 T121 2 T146 1
len_769_1024 5366 1 T13 11 T14 12 T69 16
len_513_768 5872 1 T13 17 T14 11 T69 18
len_257_512 6146 1 T13 14 T14 18 T69 10
len_0_256 22279 1 T2 3 T11 3 T16 28
len_keccak_block_sizes[72] 29 1 T51 1 T75 1 T100 1
len_keccak_block_sizes[104] 39 1 T51 1 T100 1 T101 1
len_keccak_block_sizes[136] 32 1 T101 1 T37 1 T180 1
len_keccak_block_sizes[144] 29 1 T181 1 T182 1 T183 1
len_keccak_block_sizes[168] 35 1 T181 1 T179 1 T184 1
len_1 74 1 T50 1 T51 1 T75 1
len_0 500 1 T16 1 T50 2 T51 1

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