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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2840 1 T80 4 T44 1 T50 3
len_5001_7500 6451 1 T80 12 T50 7 T51 36
len_2501_5000 1550 1 T80 1 T50 2 T51 4
len_1025_2500 951 1 T50 1 T51 1 T52 7
len_769_1024 5098 1 T14 1 T18 1 T23 6
len_513_768 5711 1 T14 2 T23 7 T24 1
len_257_512 5858 1 T14 1 T18 1 T23 7
len_0_256 19082 1 T2 3 T3 3 T16 105
len_keccak_block_sizes[72] 40 1 T16 1 T92 1 T93 1
len_keccak_block_sizes[104] 37 1 T16 1 T92 1 T93 1
len_keccak_block_sizes[136] 32 1 T92 1 T93 1 T94 1
len_keccak_block_sizes[144] 35 1 T92 1 T142 1 T85 1
len_keccak_block_sizes[168] 25 1 T85 1 T181 1 T182 1
len_1 66 1 T16 1 T64 1 T92 1
len_0 487 1 T16 1 T64 3 T65 4

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