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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2751 1 T96 7 T54 9 T191 5
len_5001_7500 6696 1 T96 14 T54 44 T191 13
len_2501_5000 1458 1 T96 5 T54 9 T191 4
len_1025_2500 900 1 T96 3 T54 4 T191 2
len_769_1024 5271 1 T32 1 T39 2 T52 1
len_513_768 5709 1 T32 3 T39 1 T52 6
len_257_512 6030 1 T4 2 T32 2 T52 6
len_0_256 20723 1 T1 3 T2 3 T4 1
len_keccak_block_sizes[72] 42 1 T80 1 T82 1 T85 1
len_keccak_block_sizes[104] 37 1 T82 1 T86 1 T87 1
len_keccak_block_sizes[136] 29 1 T87 1 T102 1 T107 1
len_keccak_block_sizes[144] 36 1 T87 1 T102 1 T192 1
len_keccak_block_sizes[168] 28 1 T99 1 T193 1 T194 1
len_1 83 1 T12 1 T80 1 T82 1
len_0 493 1 T80 1 T82 1 T85 1

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