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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2897 1 T137 2 T43 5 T44 9
len_5001_7500 7065 1 T137 5 T43 13 T44 26
len_2501_5000 1554 1 T137 2 T56 1 T43 1
len_1025_2500 893 1 T43 2 T44 4 T190 1
len_769_1024 4994 1 T13 6 T14 12 T27 1
len_513_768 5642 1 T13 11 T14 7 T27 3
len_257_512 5807 1 T13 5 T14 13 T27 3
len_0_256 18424 1 T1 3 T2 3 T12 3
len_keccak_block_sizes[72] 37 1 T80 1 T81 1 T174 1
len_keccak_block_sizes[104] 37 1 T14 1 T27 1 T188 1
len_keccak_block_sizes[136] 29 1 T22 1 T77 1 T78 1
len_keccak_block_sizes[144] 31 1 T78 1 T147 1 T160 1
len_keccak_block_sizes[168] 31 1 T14 1 T160 1 T191 1
len_1 70 1 T80 1 T81 1 T174 1
len_0 559 1 T80 1 T81 1 T174 1

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