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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_7501_10000 2888 1 T45 1 T156 12 T166 4
len_5001_7500 6679 1 T45 7 T156 30 T166 16
len_2501_5000 1553 1 T156 2 T166 3 T60 4
len_1025_2500 925 1 T26 1 T156 7 T166 2
len_769_1024 5229 1 T8 1 T11 1 T12 8
len_513_768 5612 1 T8 1 T11 5 T12 4
len_257_512 5757 1 T8 1 T11 1 T135 80
len_0_256 19424 1 T1 3 T2 3 T38 73
len_keccak_block_sizes[72] 32 1 T38 1 T44 1 T49 1
len_keccak_block_sizes[104] 39 1 T44 1 T135 1 T146 1
len_keccak_block_sizes[136] 28 1 T44 1 T135 1 T147 1
len_keccak_block_sizes[144] 27 1 T135 1 T13 2 T43 1
len_keccak_block_sizes[168] 21 1 T135 1 T43 1 T121 1
len_1 77 1 T38 1 T41 1 T47 1
len_0 507 1 T38 1 T41 4 T57 3

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