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 | 
21860 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T5 | 
3 | 
| write_op | 
5223 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T5 | 
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] | 
10202 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T5 | 
5 | 
| auto[1] | 
16881 | 
1 | 
 | 
 | 
T6 | 
2 | 
 | 
T12 | 
26 | 
 | 
T36 | 
32 | 
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] | 
19088 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T5 | 
5 | 
| auto[1] | 
7995 | 
1 | 
 | 
 | 
T36 | 
32 | 
 | 
T94 | 
11 | 
 | 
T92 | 
8 | 
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 | 
4733 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T5 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2563 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2197 | 
1 | 
 | 
 | 
T36 | 
7 | 
 | 
T94 | 
3 | 
 | 
T93 | 
5 | 
| auto[0] | 
auto[1] | 
write_op | 
709 | 
1 | 
 | 
 | 
T36 | 
2 | 
 | 
T93 | 
1 | 
 | 
T99 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
10555 | 
1 | 
 | 
 | 
T6 | 
2 | 
 | 
T12 | 
26 | 
 | 
T36 | 
7 | 
| auto[1] | 
auto[0] | 
write_op | 
1237 | 
1 | 
 | 
 | 
T36 | 
2 | 
 | 
T94 | 
1 | 
 | 
T92 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
4375 | 
1 | 
 | 
 | 
T36 | 
18 | 
 | 
T94 | 
6 | 
 | 
T92 | 
7 | 
| auto[1] | 
auto[1] | 
write_op | 
714 | 
1 | 
 | 
 | 
T36 | 
5 | 
 | 
T94 | 
2 | 
 | 
T92 | 
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 | 
22133 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
5 | 
 | 
T5 | 
1 | 
| write_op | 
5281 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
2 | 
 | 
T5 | 
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] | 
10532 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T4 | 
5 | 
 | 
T5 | 
4 | 
| auto[1] | 
16882 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T12 | 
40 | 
 | 
T36 | 
26 | 
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] | 
22270 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T4 | 
7 | 
 | 
T5 | 
4 | 
| auto[1] | 
5144 | 
1 | 
 | 
 | 
T36 | 
26 | 
 | 
T94 | 
9 | 
 | 
T92 | 
4 | 
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 | 
5669 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
3 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2871 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
2 | 
 | 
T5 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
1461 | 
1 | 
 | 
 | 
T36 | 
3 | 
 | 
T94 | 
2 | 
 | 
T104 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
531 | 
1 | 
 | 
 | 
T36 | 
1 | 
 | 
T104 | 
1 | 
 | 
T19 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
12379 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T12 | 
39 | 
 | 
T36 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1351 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T36 | 
2 | 
 | 
T92 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
2624 | 
1 | 
 | 
 | 
T36 | 
18 | 
 | 
T94 | 
6 | 
 | 
T92 | 
3 | 
| auto[1] | 
auto[1] | 
write_op | 
528 | 
1 | 
 | 
 | 
T36 | 
4 | 
 | 
T94 | 
1 | 
 | 
T92 | 
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 | 
22015 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
 | 
T4 | 
8 | 
| write_op | 
5439 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
 | 
T5 | 
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] | 
10608 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
6 | 
 | 
T4 | 
2 | 
| auto[1] | 
16846 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
28 | 
 | 
T36 | 
28 | 
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] | 
19711 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
6 | 
 | 
T4 | 
8 | 
| auto[1] | 
7743 | 
1 | 
 | 
 | 
T36 | 
27 | 
 | 
T94 | 
6 | 
 | 
T92 | 
6 | 
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 | 
4884 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2679 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
 | 
T5 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2261 | 
1 | 
 | 
 | 
T36 | 
6 | 
 | 
T94 | 
3 | 
 | 
T93 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
784 | 
1 | 
 | 
 | 
T36 | 
1 | 
 | 
T93 | 
1 | 
 | 
T99 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
10923 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
27 | 
 | 
T36 | 
7 | 
| auto[1] | 
auto[0] | 
write_op | 
1225 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T36 | 
1 | 
 | 
T94 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
3947 | 
1 | 
 | 
 | 
T36 | 
18 | 
 | 
T94 | 
3 | 
 | 
T92 | 
3 | 
| auto[1] | 
auto[1] | 
write_op | 
751 | 
1 | 
 | 
 | 
T36 | 
2 | 
 | 
T92 | 
3 | 
 | 
T93 | 
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 | 
20842 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
2 | 
 | 
T5 | 
5 | 
| write_op | 
3765 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
1 | 
 | 
T5 | 
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] | 
9275 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T4 | 
1 | 
 | 
T5 | 
8 | 
| auto[1] | 
15332 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T12 | 
38 | 
 | 
T36 | 
24 | 
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] | 
21458 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T4 | 
3 | 
 | 
T5 | 
8 | 
| auto[1] | 
3149 | 
1 | 
 | 
 | 
T99 | 
10 | 
 | 
T18 | 
19 | 
 | 
T96 | 
13 | 
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 | 
5844 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T5 | 
5 | 
 | 
T6 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2303 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
1 | 
 | 
T5 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
926 | 
1 | 
 | 
 | 
T99 | 
6 | 
 | 
T18 | 
5 | 
 | 
T96 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
202 | 
1 | 
 | 
 | 
T99 | 
2 | 
 | 
T18 | 
1 | 
 | 
T96 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
12254 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T12 | 
36 | 
 | 
T36 | 
20 | 
| auto[1] | 
auto[0] | 
write_op | 
1057 | 
1 | 
 | 
 | 
T12 | 
2 | 
 | 
T36 | 
4 | 
 | 
T94 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
1818 | 
1 | 
 | 
 | 
T99 | 
2 | 
 | 
T18 | 
12 | 
 | 
T96 | 
6 | 
| auto[1] | 
auto[1] | 
write_op | 
203 | 
1 | 
 | 
 | 
T18 | 
1 | 
 | 
T100 | 
1 | 
 | 
T20 | 
3 | 
 
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 | 
21065 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
3 | 
 | 
T4 | 
7 | 
| write_op | 
4799 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T5 | 
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] | 
9928 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T3 | 
4 | 
 | 
T4 | 
1 | 
| auto[1] | 
15936 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
24 | 
 | 
T36 | 
13 | 
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] | 
18017 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T3 | 
4 | 
 | 
T4 | 
7 | 
| auto[1] | 
7847 | 
1 | 
 | 
 | 
T36 | 
28 | 
 | 
T94 | 
8 | 
 | 
T93 | 
4 | 
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 | 
4589 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
3 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2427 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2274 | 
1 | 
 | 
 | 
T36 | 
13 | 
 | 
T94 | 
5 | 
 | 
T93 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
638 | 
1 | 
 | 
 | 
T36 | 
4 | 
 | 
T94 | 
3 | 
 | 
T93 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
9897 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
23 | 
 | 
T36 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
1104 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T36 | 
1 | 
 | 
T94 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4305 | 
1 | 
 | 
 | 
T36 | 
9 | 
 | 
T99 | 
1 | 
 | 
T18 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
630 | 
1 | 
 | 
 | 
T36 | 
2 | 
 | 
T99 | 
1 | 
 | 
T18 | 
1 |