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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2795 1 T150 14 T151 8 T152 4
len_5001_7500 6620 1 T53 1 T150 30 T151 32
len_2501_5000 1496 1 T150 7 T151 5 T152 5
len_1025_2500 904 1 T53 2 T150 4 T151 4
len_769_1024 5534 1 T26 4 T13 7 T14 3
len_513_768 5936 1 T25 1 T10 4 T26 8
len_257_512 5959 1 T25 1 T10 4 T26 6
len_0_256 21354 1 T11 3 T12 3 T17 3
len_keccak_block_sizes[72] 33 1 T47 1 T57 1 T87 1
len_keccak_block_sizes[104] 37 1 T57 1 T87 1 T62 1
len_keccak_block_sizes[136] 24 1 T57 1 T87 1 T195 1
len_keccak_block_sizes[144] 26 1 T87 1 T195 1 T63 1
len_keccak_block_sizes[168] 28 1 T63 1 T196 1 T99 1
len_1 64 1 T47 1 T57 1 T87 1
len_0 535 1 T33 1 T47 1 T57 1

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