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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2487 1 T16 1 T58 7 T144 3
len_5001_7500 6153 1 T65 1 T16 1 T66 2
len_2501_5000 1347 1 T65 2 T66 3 T58 2
len_1025_2500 853 1 T82 2 T144 2 T203 2
len_769_1024 5156 1 T11 1 T12 3 T57 2
len_513_768 5877 1 T11 2 T12 1 T57 4
len_257_512 5890 1 T11 3 T12 1 T57 1
len_0_256 20317 1 T1 3 T2 3 T17 3
len_keccak_block_sizes[72] 42 1 T44 1 T45 1 T53 1
len_keccak_block_sizes[104] 32 1 T53 1 T102 1 T61 1
len_keccak_block_sizes[136] 28 1 T61 1 T136 1 T204 1
len_keccak_block_sizes[144] 29 1 T86 1 T88 1 T15 1
len_keccak_block_sizes[168] 23 1 T57 1 T202 1 T205 1
len_1 84 1 T44 1 T45 1 T53 1
len_0 516 1 T44 1 T45 1 T53 1

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