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 | 
21028 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
10 | 
 | 
T3 | 
12 | 
| write_op | 
5191 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
4 | 
 | 
T3 | 
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] | 
10517 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
14 | 
 | 
T3 | 
16 | 
| auto[1] | 
15702 | 
1 | 
 | 
 | 
T10 | 
13 | 
 | 
T5 | 
9 | 
 | 
T11 | 
17 | 
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] | 
17909 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
14 | 
 | 
T3 | 
16 | 
| auto[1] | 
8310 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T5 | 
9 | 
 | 
T6 | 
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 | 
4576 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
10 | 
 | 
T3 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2572 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2572 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T5 | 
4 | 
 | 
T6 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
797 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T6 | 
1 | 
 | 
T12 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
9683 | 
1 | 
 | 
 | 
T10 | 
11 | 
 | 
T5 | 
3 | 
 | 
T11 | 
16 | 
| auto[1] | 
auto[0] | 
write_op | 
1078 | 
1 | 
 | 
 | 
T10 | 
2 | 
 | 
T5 | 
1 | 
 | 
T11 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4197 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T12 | 
13 | 
 | 
T13 | 
23 | 
| auto[1] | 
auto[1] | 
write_op | 
744 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
1 | 
 | 
T13 | 
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 | 
22252 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
2 | 
 | 
T4 | 
7 | 
| write_op | 
5246 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
1 | 
 | 
T4 | 
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] | 
10931 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
3 | 
 | 
T4 | 
8 | 
| auto[1] | 
16567 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T5 | 
2 | 
 | 
T11 | 
16 | 
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] | 
22242 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
3 | 
 | 
T4 | 
1 | 
| auto[1] | 
5256 | 
1 | 
 | 
 | 
T4 | 
9 | 
 | 
T12 | 
39 | 
 | 
T68 | 
40 | 
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 | 
5912 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
2 | 
 | 
T10 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2940 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
1 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1538 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
5 | 
 | 
T68 | 
9 | 
| auto[0] | 
auto[1] | 
write_op | 
541 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T12 | 
3 | 
 | 
T68 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
12130 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T11 | 
16 | 
 | 
T6 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1260 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
2 | 
 | 
T12 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2672 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T12 | 
28 | 
 | 
T68 | 
22 | 
| auto[1] | 
auto[1] | 
write_op | 
505 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T12 | 
3 | 
 | 
T68 | 
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 | 
21278 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
8 | 
 | 
T3 | 
12 | 
| write_op | 
5260 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
4 | 
 | 
T3 | 
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] | 
10429 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
12 | 
 | 
T3 | 
18 | 
| auto[1] | 
16109 | 
1 | 
 | 
 | 
T10 | 
18 | 
 | 
T5 | 
1 | 
 | 
T11 | 
16 | 
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] | 
18250 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
12 | 
 | 
T3 | 
18 | 
| auto[1] | 
8288 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T6 | 
14 | 
 | 
T12 | 
30 | 
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 | 
4676 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
8 | 
 | 
T3 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2560 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
4 | 
 | 
T3 | 
6 | 
| auto[0] | 
auto[1] | 
read_op | 
2390 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T6 | 
7 | 
 | 
T12 | 
5 | 
| auto[0] | 
auto[1] | 
write_op | 
803 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T6 | 
3 | 
 | 
T12 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
9955 | 
1 | 
 | 
 | 
T10 | 
12 | 
 | 
T11 | 
16 | 
 | 
T12 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1059 | 
1 | 
 | 
 | 
T10 | 
6 | 
 | 
T5 | 
1 | 
 | 
T12 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4257 | 
1 | 
 | 
 | 
T6 | 
2 | 
 | 
T12 | 
19 | 
 | 
T13 | 
14 | 
| auto[1] | 
auto[1] | 
write_op | 
838 | 
1 | 
 | 
 | 
T6 | 
2 | 
 | 
T12 | 
3 | 
 | 
T13 | 
4 | 
 
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 | 
20821 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
8 | 
 | 
T3 | 
12 | 
| write_op | 
3799 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
4 | 
 | 
T3 | 
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] | 
9611 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
12 | 
 | 
T3 | 
18 | 
| auto[1] | 
15009 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T10 | 
7 | 
 | 
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] | 
21318 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
12 | 
 | 
T3 | 
18 | 
| auto[1] | 
3302 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T6 | 
11 | 
 | 
T13 | 
19 | 
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 | 
6003 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
8 | 
 | 
T3 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2340 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
4 | 
 | 
T3 | 
6 | 
| auto[0] | 
auto[1] | 
read_op | 
1075 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
8 | 
 | 
T13 | 
8 | 
| auto[0] | 
auto[1] | 
write_op | 
193 | 
1 | 
 | 
 | 
T6 | 
2 | 
 | 
T13 | 
1 | 
 | 
T99 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
11909 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T10 | 
5 | 
 | 
T11 | 
16 | 
| auto[1] | 
auto[0] | 
write_op | 
1066 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T10 | 
2 | 
 | 
T12 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
1834 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
1 | 
 | 
T13 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
200 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T98 | 
3 | 
 | 
T99 | 
4 | 
 
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 | 
20761 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
10 | 
 | 
T3 | 
12 | 
| write_op | 
4790 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
3 | 
 | 
T3 | 
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] | 
10098 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T2 | 
13 | 
 | 
T3 | 
17 | 
| auto[1] | 
15453 | 
1 | 
 | 
 | 
T10 | 
16 | 
 | 
T5 | 
3 | 
 | 
T11 | 
20 | 
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] | 
17288 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T2 | 
13 | 
 | 
T3 | 
17 | 
| auto[1] | 
8263 | 
1 | 
 | 
 | 
T4 | 
8 | 
 | 
T5 | 
7 | 
 | 
T6 | 
22 | 
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 | 
4573 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
10 | 
 | 
T3 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2401 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
3 | 
 | 
T3 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2403 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T5 | 
2 | 
 | 
T6 | 
12 | 
| auto[0] | 
auto[1] | 
write_op | 
721 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T5 | 
2 | 
 | 
T6 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
9330 | 
1 | 
 | 
 | 
T10 | 
15 | 
 | 
T11 | 
20 | 
 | 
T6 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
984 | 
1 | 
 | 
 | 
T10 | 
1 | 
 | 
T6 | 
1 | 
 | 
T12 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4455 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T6 | 
6 | 
 | 
T12 | 
21 | 
| auto[1] | 
auto[1] | 
write_op | 
684 | 
1 | 
 | 
 | 
T6 | 
1 | 
 | 
T12 | 
3 | 
 | 
T13 | 
4 |