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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2871 1 T75 18 T139 6 T68 11
len_5001_7500 6969 1 T75 18 T139 38 T68 7
len_2501_5000 1641 1 T75 8 T139 4 T69 4
len_1025_2500 932 1 T75 6 T139 5 T69 1
len_769_1024 5516 1 T20 4 T9 2 T10 6
len_513_768 5995 1 T20 10 T9 3 T10 3
len_257_512 6226 1 T20 11 T9 1 T10 3
len_0_256 19051 1 T1 105 T2 145 T3 137
len_keccak_block_sizes[72] 34 1 T1 1 T2 1 T3 1
len_keccak_block_sizes[104] 32 1 T1 1 T2 1 T3 1
len_keccak_block_sizes[136] 27 1 T2 1 T3 1 T51 1
len_keccak_block_sizes[144] 27 1 T2 1 T51 1 T106 1
len_keccak_block_sizes[168] 18 1 T51 1 T106 1 T74 1
len_1 60 1 T1 1 T2 1 T3 1
len_0 500 1 T1 1 T2 1 T3 1

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