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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2690 1 T132 6 T48 9 T133 2
len_5001_7500 6780 1 T132 19 T48 24 T133 11
len_2501_5000 1620 1 T132 5 T48 8 T133 1
len_1025_2500 936 1 T132 2 T48 1 T49 7
len_769_1024 5400 1 T1 19 T21 3 T22 3
len_513_768 5950 1 T1 15 T16 2 T21 2
len_257_512 6034 1 T1 18 T21 2 T22 3
len_0_256 19349 1 T1 11 T2 3 T3 3
len_keccak_block_sizes[72] 31 1 T17 1 T77 1 T72 1
len_keccak_block_sizes[104] 33 1 T17 1 T77 1 T72 1
len_keccak_block_sizes[136] 35 1 T72 1 T130 1 T131 1
len_keccak_block_sizes[144] 31 1 T72 1 T130 1 T131 1
len_keccak_block_sizes[168] 27 1 T130 1 T180 1 T181 1
len_1 55 1 T17 1 T77 1 T72 1
len_0 468 1 T17 1 T77 1 T71 3

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