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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 8875 1 T144 27 T43 5 T149 23
len_5001_7500 14094 1 T144 79 T43 16 T188 33
len_2501_5000 9118 1 T144 13 T43 1 T188 34
len_1025_2500 5386 1 T144 7 T43 4 T188 20
len_769_1024 6028 1 T9 4 T21 17 T12 8
len_513_768 6440 1 T9 4 T21 28 T12 6
len_257_512 20649 1 T9 2 T10 2 T21 18
len_0_256 255099 1 T1 95 T2 9 T3 9
len_keccak_block_sizes[72] 713 1 T188 2 T189 2 T134 1
len_keccak_block_sizes[104] 620 1 T147 2 T44 1 T190 1
len_keccak_block_sizes[136] 513 1 T24 1 T152 1 T190 1
len_keccak_block_sizes[144] 420 1 T21 1 T191 1 T192 2
len_keccak_block_sizes[168] 324 1 T13 1 T24 1 T18 2
len_1 772 1 T45 1 T14 1 T28 1
len_0 1165 1 T1 6 T45 1 T46 2

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