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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2733 1 T49 7 T50 20 T51 12
len_5001_7500 6624 1 T86 2 T49 3 T50 53
len_2501_5000 1541 1 T49 2 T50 9 T51 6
len_1025_2500 876 1 T49 1 T50 7 T51 4
len_769_1024 5108 1 T21 2 T22 7 T47 18
len_513_768 5594 1 T21 4 T22 5 T47 12
len_257_512 5728 1 T21 5 T22 11 T47 24
len_0_256 21510 1 T1 3 T2 3 T12 93
len_keccak_block_sizes[72] 37 1 T14 1 T46 1 T78 1
len_keccak_block_sizes[104] 27 1 T14 1 T46 1 T78 1
len_keccak_block_sizes[136] 41 1 T14 1 T46 1 T188 1
len_keccak_block_sizes[144] 33 1 T14 1 T37 1 T188 1
len_keccak_block_sizes[168] 22 1 T189 1 T190 1 T191 1
len_1 78 1 T12 3 T14 1 T46 1
len_0 462 1 T12 5 T14 1 T46 1

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