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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2822 1 T145 18 T161 17 T162 13
len_5001_7500 6698 1 T43 2 T159 3 T145 36
len_2501_5000 1643 1 T159 1 T145 7 T161 9
len_1025_2500 959 1 T159 3 T145 2 T161 7
len_769_1024 5155 1 T12 2 T19 1 T23 1
len_513_768 5864 1 T9 2 T12 1 T19 3
len_257_512 6125 1 T12 2 T19 1 T23 1
len_0_256 17045 1 T3 3 T11 3 T9 1
len_keccak_block_sizes[72] 38 1 T37 1 T46 1 T50 1
len_keccak_block_sizes[104] 34 1 T46 1 T50 1 T113 1
len_keccak_block_sizes[136] 30 1 T12 1 T46 1 T50 1
len_keccak_block_sizes[144] 30 1 T53 1 T201 1 T202 1
len_keccak_block_sizes[168] 25 1 T201 1 T202 1 T198 1
len_1 72 1 T37 1 T46 1 T50 1
len_0 487 1 T37 1 T46 1 T50 1

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