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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 3065 1 T144 15 T65 6 T145 19
len_5001_7500 7355 1 T72 4 T51 1 T144 33
len_2501_5000 1720 1 T72 1 T144 13 T65 2
len_1025_2500 1041 1 T14 1 T144 4 T65 4
len_769_1024 5547 1 T9 2 T13 12 T14 5
len_513_768 5949 1 T9 2 T13 15 T14 7
len_257_512 6134 1 T9 2 T54 16 T13 12
len_0_256 18822 1 T1 3 T2 3 T12 3
len_keccak_block_sizes[72] 35 1 T38 1 T45 1 T46 1
len_keccak_block_sizes[104] 31 1 T46 1 T47 1 T74 1
len_keccak_block_sizes[136] 39 1 T46 1 T47 1 T74 1
len_keccak_block_sizes[144] 34 1 T74 1 T53 1 T54 1
len_keccak_block_sizes[168] 33 1 T54 1 T23 1 T68 1
len_1 77 1 T38 1 T45 1 T46 1
len_0 552 1 T38 1 T40 1 T45 1

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