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 | 
25529 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
3 | 
 | 
T3 | 
4 | 
| write_op | 
5983 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
1 | 
 | 
T3 | 
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] | 
10799 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
2 | 
 | 
T3 | 
5 | 
| auto[1] | 
20713 | 
1 | 
 | 
 | 
T1 | 
38 | 
 | 
T2 | 
2 | 
 | 
T5 | 
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] | 
23638 | 
1 | 
 | 
 | 
T1 | 
48 | 
 | 
T2 | 
4 | 
 | 
T3 | 
5 | 
| auto[1] | 
7874 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T10 | 
21 | 
 | 
T24 | 
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 | 
5102 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
1 | 
 | 
T3 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2801 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2209 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T10 | 
7 | 
 | 
T24 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
687 | 
1 | 
 | 
 | 
T24 | 
1 | 
 | 
T15 | 
2 | 
 | 
T33 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13980 | 
1 | 
 | 
 | 
T1 | 
31 | 
 | 
T2 | 
2 | 
 | 
T5 | 
4 | 
| auto[1] | 
auto[0] | 
write_op | 
1755 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T5 | 
2 | 
 | 
T63 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4238 | 
1 | 
 | 
 | 
T10 | 
13 | 
 | 
T63 | 
8 | 
 | 
T33 | 
5 | 
| auto[1] | 
auto[1] | 
write_op | 
740 | 
1 | 
 | 
 | 
T10 | 
1 | 
 | 
T33 | 
1 | 
 | 
T34 | 
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 | 
25824 | 
1 | 
 | 
 | 
T1 | 
35 | 
 | 
T2 | 
2 | 
 | 
T3 | 
12 | 
| write_op | 
5977 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T3 | 
5 | 
 | 
T4 | 
4 | 
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] | 
11005 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T3 | 
17 | 
 | 
T4 | 
14 | 
| auto[1] | 
20796 | 
1 | 
 | 
 | 
T1 | 
35 | 
 | 
T2 | 
2 | 
 | 
T5 | 
1 | 
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] | 
26296 | 
1 | 
 | 
 | 
T1 | 
44 | 
 | 
T2 | 
2 | 
 | 
T3 | 
17 | 
| auto[1] | 
5505 | 
1 | 
 | 
 | 
T24 | 
6 | 
 | 
T63 | 
10 | 
 | 
T15 | 
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 | 
5913 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
12 | 
 | 
T4 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
3028 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
5 | 
 | 
T4 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
1551 | 
1 | 
 | 
 | 
T24 | 
3 | 
 | 
T15 | 
1 | 
 | 
T13 | 
11 | 
| auto[0] | 
auto[1] | 
write_op | 
513 | 
1 | 
 | 
 | 
T24 | 
3 | 
 | 
T15 | 
1 | 
 | 
T13 | 
5 | 
| auto[1] | 
auto[0] | 
read_op | 
15446 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T2 | 
2 | 
 | 
T9 | 
32 | 
| auto[1] | 
auto[0] | 
write_op | 
1909 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T5 | 
1 | 
 | 
T9 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
2914 | 
1 | 
 | 
 | 
T63 | 
10 | 
 | 
T13 | 
47 | 
 | 
T62 | 
16 | 
| auto[1] | 
auto[1] | 
write_op | 
527 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T62 | 
4 | 
 | 
T89 | 
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 | 
25943 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
2 | 
 | 
T3 | 
18 | 
| write_op | 
6378 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
8 | 
 | 
T4 | 
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] | 
11184 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
26 | 
 | 
T4 | 
6 | 
| auto[1] | 
21137 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T2 | 
2 | 
 | 
T5 | 
1 | 
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] | 
24385 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T2 | 
2 | 
 | 
T3 | 
26 | 
| auto[1] | 
7936 | 
1 | 
 | 
 | 
T10 | 
35 | 
 | 
T15 | 
13 | 
 | 
T33 | 
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 | 
5201 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
18 | 
 | 
T4 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2899 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
8 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2301 | 
1 | 
 | 
 | 
T10 | 
6 | 
 | 
T15 | 
5 | 
 | 
T33 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
783 | 
1 | 
 | 
 | 
T10 | 
4 | 
 | 
T15 | 
1 | 
 | 
T34 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
14391 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T2 | 
2 | 
 | 
T9 | 
38 | 
| auto[1] | 
auto[0] | 
write_op | 
1894 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T5 | 
1 | 
 | 
T10 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4050 | 
1 | 
 | 
 | 
T10 | 
21 | 
 | 
T15 | 
5 | 
 | 
T33 | 
1 | 
| auto[1] | 
auto[1] | 
write_op | 
802 | 
1 | 
 | 
 | 
T10 | 
4 | 
 | 
T15 | 
2 | 
 | 
T33 | 
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 | 
24930 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T2 | 
4 | 
 | 
T3 | 
8 | 
| write_op | 
4452 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
2 | 
 | 
T4 | 
4 | 
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] | 
10096 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
10 | 
 | 
T4 | 
14 | 
| auto[1] | 
19286 | 
1 | 
 | 
 | 
T1 | 
25 | 
 | 
T2 | 
4 | 
 | 
T5 | 
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] | 
26786 | 
1 | 
 | 
 | 
T1 | 
29 | 
 | 
T2 | 
4 | 
 | 
T3 | 
10 | 
| auto[1] | 
2596 | 
1 | 
 | 
 | 
T10 | 
28 | 
 | 
T33 | 
10 | 
 | 
T34 | 
9 | 
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 | 
6487 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
8 | 
 | 
T4 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2611 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T4 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
822 | 
1 | 
 | 
 | 
T10 | 
8 | 
 | 
T33 | 
2 | 
 | 
T34 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
176 | 
1 | 
 | 
 | 
T10 | 
2 | 
 | 
T33 | 
1 | 
 | 
T34 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
16183 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T2 | 
4 | 
 | 
T5 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
1505 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T5 | 
1 | 
 | 
T15 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
1438 | 
1 | 
 | 
 | 
T10 | 
16 | 
 | 
T33 | 
6 | 
 | 
T34 | 
5 | 
| auto[1] | 
auto[1] | 
write_op | 
160 | 
1 | 
 | 
 | 
T10 | 
2 | 
 | 
T33 | 
1 | 
 | 
T34 | 
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 | 
25088 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T2 | 
10 | 
 | 
T3 | 
8 | 
| write_op | 
5574 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T3 | 
3 | 
 | 
T4 | 
5 | 
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] | 
10656 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
2 | 
 | 
T3 | 
11 | 
| auto[1] | 
20006 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
8 | 
 | 
T5 | 
3 | 
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] | 
23135 | 
1 | 
 | 
 | 
T1 | 
26 | 
 | 
T2 | 
10 | 
 | 
T3 | 
11 | 
| auto[1] | 
7527 | 
1 | 
 | 
 | 
T10 | 
23 | 
 | 
T15 | 
6 | 
 | 
T33 | 
18 | 
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 | 
4996 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
2 | 
 | 
T3 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2707 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
3 | 
 | 
T4 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2307 | 
1 | 
 | 
 | 
T10 | 
6 | 
 | 
T15 | 
2 | 
 | 
T33 | 
15 | 
| auto[0] | 
auto[1] | 
write_op | 
646 | 
1 | 
 | 
 | 
T10 | 
3 | 
 | 
T15 | 
1 | 
 | 
T33 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
13815 | 
1 | 
 | 
 | 
T1 | 
15 | 
 | 
T2 | 
8 | 
 | 
T5 | 
3 | 
| auto[1] | 
auto[0] | 
write_op | 
1617 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T63 | 
1 | 
 | 
T15 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
3970 | 
1 | 
 | 
 | 
T10 | 
13 | 
 | 
T15 | 
1 | 
 | 
T34 | 
11 | 
| auto[1] | 
auto[1] | 
write_op | 
604 | 
1 | 
 | 
 | 
T10 | 
1 | 
 | 
T15 | 
2 | 
 | 
T34 | 
2 |