Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
27472 | 
1 | 
 | 
 | 
T1 | 
50 | 
 | 
T3 | 
15 | 
 | 
T6 | 
4 | 
| write_op | 
6448 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T6 | 
3 | 
 | 
T7 | 
2 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10996 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T3 | 
1 | 
 | 
T6 | 
7 | 
| auto[1] | 
22924 | 
1 | 
 | 
 | 
T1 | 
40 | 
 | 
T3 | 
14 | 
 | 
T7 | 
7 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
25804 | 
1 | 
 | 
 | 
T1 | 
59 | 
 | 
T3 | 
15 | 
 | 
T6 | 
7 | 
| auto[1] | 
8116 | 
1 | 
 | 
 | 
T4 | 
7 | 
 | 
T32 | 
10 | 
 | 
T24 | 
3 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5149 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
1 | 
 | 
T6 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2829 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T6 | 
3 | 
 | 
T16 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2355 | 
1 | 
 | 
 | 
T4 | 
5 | 
 | 
T32 | 
9 | 
 | 
T24 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
663 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T32 | 
1 | 
 | 
T25 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
15648 | 
1 | 
 | 
 | 
T1 | 
40 | 
 | 
T3 | 
14 | 
 | 
T7 | 
5 | 
| auto[1] | 
auto[0] | 
write_op | 
2178 | 
1 | 
 | 
 | 
T7 | 
2 | 
 | 
T4 | 
3 | 
 | 
T8 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
4320 | 
1 | 
 | 
 | 
T24 | 
1 | 
 | 
T25 | 
9 | 
 | 
T36 | 
9 | 
| auto[1] | 
auto[1] | 
write_op | 
778 | 
1 | 
 | 
 | 
T25 | 
3 | 
 | 
T36 | 
2 | 
 | 
T37 | 
1 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
27617 | 
1 | 
 | 
 | 
T1 | 
51 | 
 | 
T3 | 
20 | 
 | 
T6 | 
2 | 
| write_op | 
6380 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T6 | 
2 | 
 | 
T7 | 
1 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10905 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T6 | 
2 | 
 | 
T16 | 
19 | 
| auto[1] | 
23092 | 
1 | 
 | 
 | 
T1 | 
38 | 
 | 
T3 | 
20 | 
 | 
T6 | 
2 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
28730 | 
1 | 
 | 
 | 
T1 | 
57 | 
 | 
T3 | 
20 | 
 | 
T6 | 
4 | 
| auto[1] | 
5267 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T25 | 
25 | 
 | 
T103 | 
2 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5963 | 
1 | 
 | 
 | 
T1 | 
13 | 
 | 
T6 | 
1 | 
 | 
T16 | 
14 | 
| auto[0] | 
auto[0] | 
write_op | 
3067 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T6 | 
1 | 
 | 
T16 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
1425 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T25 | 
6 | 
 | 
T37 | 
18 | 
| auto[0] | 
auto[1] | 
write_op | 
450 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T25 | 
2 | 
 | 
T37 | 
5 | 
| auto[1] | 
auto[0] | 
read_op | 
17410 | 
1 | 
 | 
 | 
T1 | 
38 | 
 | 
T3 | 
20 | 
 | 
T6 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
2290 | 
1 | 
 | 
 | 
T6 | 
1 | 
 | 
T7 | 
1 | 
 | 
T8 | 
11 | 
| auto[1] | 
auto[1] | 
read_op | 
2819 | 
1 | 
 | 
 | 
T25 | 
11 | 
 | 
T103 | 
2 | 
 | 
T37 | 
5 | 
| auto[1] | 
auto[1] | 
write_op | 
573 | 
1 | 
 | 
 | 
T25 | 
6 | 
 | 
T37 | 
1 | 
 | 
T104 | 
1 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
27236 | 
1 | 
 | 
 | 
T1 | 
39 | 
 | 
T3 | 
14 | 
 | 
T6 | 
2 | 
| write_op | 
6666 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T6 | 
2 | 
 | 
T16 | 
6 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
11156 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T6 | 
4 | 
 | 
T16 | 
20 | 
| auto[1] | 
22746 | 
1 | 
 | 
 | 
T1 | 
37 | 
 | 
T3 | 
14 | 
 | 
T7 | 
8 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
25712 | 
1 | 
 | 
 | 
T1 | 
46 | 
 | 
T3 | 
14 | 
 | 
T6 | 
4 | 
| auto[1] | 
8190 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T32 | 
6 | 
 | 
T24 | 
20 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5088 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T6 | 
2 | 
 | 
T16 | 
14 | 
| auto[0] | 
auto[0] | 
write_op | 
2894 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T6 | 
2 | 
 | 
T16 | 
6 | 
| auto[0] | 
auto[1] | 
read_op | 
2381 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T32 | 
5 | 
 | 
T24 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
793 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T32 | 
1 | 
 | 
T24 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
15545 | 
1 | 
 | 
 | 
T1 | 
34 | 
 | 
T3 | 
14 | 
 | 
T7 | 
8 | 
| auto[1] | 
auto[0] | 
write_op | 
2185 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T8 | 
13 | 
 | 
T32 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4222 | 
1 | 
 | 
 | 
T24 | 
14 | 
 | 
T25 | 
16 | 
 | 
T103 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
794 | 
1 | 
 | 
 | 
T24 | 
3 | 
 | 
T25 | 
2 | 
 | 
T36 | 
2 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
26190 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T3 | 
12 | 
 | 
T7 | 
13 | 
| write_op | 
4663 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T7 | 
1 | 
 | 
T16 | 
3 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10083 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T7 | 
4 | 
 | 
T16 | 
9 | 
| auto[1] | 
20770 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
12 | 
 | 
T7 | 
10 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
27877 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T3 | 
12 | 
 | 
T7 | 
14 | 
| auto[1] | 
2976 | 
1 | 
 | 
 | 
T32 | 
12 | 
 | 
T24 | 
22 | 
 | 
T36 | 
26 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
6314 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T7 | 
3 | 
 | 
T16 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2561 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T7 | 
1 | 
 | 
T16 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
991 | 
1 | 
 | 
 | 
T32 | 
2 | 
 | 
T24 | 
5 | 
 | 
T36 | 
14 | 
| auto[0] | 
auto[1] | 
write_op | 
217 | 
1 | 
 | 
 | 
T24 | 
4 | 
 | 
T36 | 
2 | 
 | 
T93 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
17299 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
12 | 
 | 
T7 | 
10 | 
| auto[1] | 
auto[0] | 
write_op | 
1703 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T8 | 
7 | 
 | 
T32 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
1586 | 
1 | 
 | 
 | 
T32 | 
7 | 
 | 
T24 | 
12 | 
 | 
T36 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
182 | 
1 | 
 | 
 | 
T32 | 
3 | 
 | 
T24 | 
1 | 
 | 
T36 | 
2 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
26490 | 
1 | 
 | 
 | 
T1 | 
33 | 
 | 
T3 | 
30 | 
 | 
T6 | 
4 | 
| write_op | 
5918 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T6 | 
2 | 
 | 
T7 | 
1 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10396 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T16 | 
25 | 
 | 
T4 | 
7 | 
| auto[1] | 
22012 | 
1 | 
 | 
 | 
T1 | 
31 | 
 | 
T3 | 
30 | 
 | 
T6 | 
6 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
24394 | 
1 | 
 | 
 | 
T1 | 
37 | 
 | 
T3 | 
30 | 
 | 
T6 | 
6 | 
| auto[1] | 
8014 | 
1 | 
 | 
 | 
T4 | 
7 | 
 | 
T32 | 
9 | 
 | 
T24 | 
25 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
4909 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T16 | 
18 | 
 | 
T17 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2680 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T16 | 
7 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2165 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T32 | 
9 | 
 | 
T24 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
642 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T24 | 
4 | 
 | 
T25 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
14926 | 
1 | 
 | 
 | 
T1 | 
30 | 
 | 
T3 | 
30 | 
 | 
T6 | 
4 | 
| auto[1] | 
auto[0] | 
write_op | 
1879 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T6 | 
2 | 
 | 
T7 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4490 | 
1 | 
 | 
 | 
T24 | 
16 | 
 | 
T25 | 
9 | 
 | 
T36 | 
6 | 
| auto[1] | 
auto[1] | 
write_op | 
717 | 
1 | 
 | 
 | 
T24 | 
2 | 
 | 
T25 | 
2 | 
 | 
T37 | 
2 |