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 |
22583 |
1 |
|
|
T1 |
8 |
|
T2 |
30 |
|
T3 |
6 |
write_op |
5331 |
1 |
|
|
T1 |
2 |
|
T2 |
10 |
|
T3 |
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] |
10582 |
1 |
|
|
T1 |
3 |
|
T2 |
11 |
|
T3 |
8 |
auto[1] |
17332 |
1 |
|
|
T1 |
7 |
|
T2 |
29 |
|
T4 |
44 |
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] |
19710 |
1 |
|
|
T1 |
10 |
|
T2 |
12 |
|
T3 |
8 |
auto[1] |
8204 |
1 |
|
|
T2 |
28 |
|
T9 |
14 |
|
T6 |
73 |
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 |
4815 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
6 |
auto[0] |
auto[0] |
write_op |
2647 |
1 |
|
|
T1 |
1 |
|
T2 |
2 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2376 |
1 |
|
|
T2 |
6 |
|
T9 |
5 |
|
T6 |
28 |
auto[0] |
auto[1] |
write_op |
744 |
1 |
|
|
T2 |
2 |
|
T9 |
1 |
|
T6 |
5 |
auto[1] |
auto[0] |
read_op |
11060 |
1 |
|
|
T1 |
6 |
|
T2 |
5 |
|
T4 |
42 |
auto[1] |
auto[0] |
write_op |
1188 |
1 |
|
|
T1 |
1 |
|
T2 |
4 |
|
T4 |
2 |
auto[1] |
auto[1] |
read_op |
4332 |
1 |
|
|
T2 |
18 |
|
T9 |
6 |
|
T6 |
33 |
auto[1] |
auto[1] |
write_op |
752 |
1 |
|
|
T2 |
2 |
|
T9 |
2 |
|
T6 |
7 |
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 |
22921 |
1 |
|
|
T1 |
9 |
|
T2 |
19 |
|
T3 |
1 |
write_op |
5339 |
1 |
|
|
T1 |
1 |
|
T2 |
6 |
|
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] |
11009 |
1 |
|
|
T1 |
4 |
|
T2 |
13 |
|
T3 |
2 |
auto[1] |
17251 |
1 |
|
|
T1 |
6 |
|
T2 |
12 |
|
T4 |
46 |
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] |
22662 |
1 |
|
|
T1 |
10 |
|
T2 |
25 |
|
T3 |
2 |
auto[1] |
5598 |
1 |
|
|
T32 |
2 |
|
T6 |
73 |
|
T105 |
15 |
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 |
5933 |
1 |
|
|
T1 |
3 |
|
T2 |
9 |
|
T3 |
1 |
auto[0] |
auto[0] |
write_op |
2940 |
1 |
|
|
T1 |
1 |
|
T2 |
4 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
1602 |
1 |
|
|
T32 |
2 |
|
T6 |
27 |
|
T105 |
8 |
auto[0] |
auto[1] |
write_op |
534 |
1 |
|
|
T6 |
7 |
|
T105 |
2 |
|
T108 |
6 |
auto[1] |
auto[0] |
read_op |
12463 |
1 |
|
|
T1 |
6 |
|
T2 |
10 |
|
T4 |
46 |
auto[1] |
auto[0] |
write_op |
1326 |
1 |
|
|
T2 |
2 |
|
T9 |
6 |
|
T5 |
3 |
auto[1] |
auto[1] |
read_op |
2923 |
1 |
|
|
T6 |
34 |
|
T105 |
5 |
|
T18 |
2 |
auto[1] |
auto[1] |
write_op |
539 |
1 |
|
|
T6 |
5 |
|
T18 |
1 |
|
T112 |
5 |
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 |
22482 |
1 |
|
|
T1 |
10 |
|
T2 |
30 |
|
T3 |
4 |
write_op |
5408 |
1 |
|
|
T1 |
1 |
|
T2 |
8 |
|
T3 |
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] |
10682 |
1 |
|
|
T1 |
3 |
|
T2 |
13 |
|
T3 |
7 |
auto[1] |
17208 |
1 |
|
|
T1 |
8 |
|
T2 |
25 |
|
T4 |
46 |
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] |
19767 |
1 |
|
|
T1 |
11 |
|
T2 |
2 |
|
T3 |
7 |
auto[1] |
8123 |
1 |
|
|
T2 |
36 |
|
T9 |
10 |
|
T32 |
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 |
4894 |
1 |
|
|
T1 |
2 |
|
T3 |
4 |
|
T4 |
5 |
auto[0] |
auto[0] |
write_op |
2708 |
1 |
|
|
T1 |
1 |
|
T3 |
3 |
|
T4 |
4 |
auto[0] |
auto[1] |
read_op |
2346 |
1 |
|
|
T2 |
9 |
|
T9 |
5 |
|
T32 |
1 |
auto[0] |
auto[1] |
write_op |
734 |
1 |
|
|
T2 |
4 |
|
T9 |
2 |
|
T32 |
1 |
auto[1] |
auto[0] |
read_op |
11020 |
1 |
|
|
T1 |
8 |
|
T2 |
1 |
|
T4 |
46 |
auto[1] |
auto[0] |
write_op |
1145 |
1 |
|
|
T2 |
1 |
|
T9 |
1 |
|
T5 |
4 |
auto[1] |
auto[1] |
read_op |
4222 |
1 |
|
|
T2 |
20 |
|
T9 |
1 |
|
T6 |
30 |
auto[1] |
auto[1] |
write_op |
821 |
1 |
|
|
T2 |
3 |
|
T9 |
2 |
|
T6 |
8 |
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 |
21841 |
1 |
|
|
T1 |
6 |
|
T2 |
28 |
|
T3 |
4 |
write_op |
3968 |
1 |
|
|
T1 |
1 |
|
T2 |
7 |
|
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] |
9696 |
1 |
|
|
T1 |
3 |
|
T2 |
21 |
|
T3 |
3 |
auto[1] |
16113 |
1 |
|
|
T1 |
4 |
|
T2 |
14 |
|
T3 |
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] |
22986 |
1 |
|
|
T1 |
7 |
|
T2 |
2 |
|
T3 |
5 |
auto[1] |
2823 |
1 |
|
|
T2 |
33 |
|
T9 |
8 |
|
T6 |
11 |
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 |
6118 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
2 |
auto[0] |
auto[0] |
write_op |
2463 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
921 |
1 |
|
|
T2 |
14 |
|
T9 |
3 |
|
T6 |
6 |
auto[0] |
auto[1] |
write_op |
194 |
1 |
|
|
T2 |
5 |
|
T9 |
1 |
|
T6 |
1 |
auto[1] |
auto[0] |
read_op |
13276 |
1 |
|
|
T1 |
4 |
|
T3 |
2 |
|
T4 |
43 |
auto[1] |
auto[0] |
write_op |
1129 |
1 |
|
|
T4 |
2 |
|
T13 |
1 |
|
T6 |
15 |
auto[1] |
auto[1] |
read_op |
1526 |
1 |
|
|
T2 |
13 |
|
T9 |
3 |
|
T6 |
3 |
auto[1] |
auto[1] |
write_op |
182 |
1 |
|
|
T2 |
1 |
|
T9 |
1 |
|
T6 |
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 |
21372 |
1 |
|
|
T1 |
8 |
|
T2 |
32 |
|
T3 |
2 |
write_op |
4964 |
1 |
|
|
T1 |
2 |
|
T2 |
5 |
|
T3 |
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] |
10350 |
1 |
|
|
T1 |
4 |
|
T2 |
17 |
|
T3 |
4 |
auto[1] |
15986 |
1 |
|
|
T1 |
6 |
|
T2 |
20 |
|
T4 |
46 |
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] |
18291 |
1 |
|
|
T1 |
10 |
|
T2 |
11 |
|
T3 |
4 |
auto[1] |
8045 |
1 |
|
|
T2 |
26 |
|
T9 |
22 |
|
T6 |
92 |
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 |
4566 |
1 |
|
|
T1 |
2 |
|
T2 |
2 |
|
T3 |
2 |
auto[0] |
auto[0] |
write_op |
2507 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2553 |
1 |
|
|
T2 |
12 |
|
T9 |
16 |
|
T6 |
26 |
auto[0] |
auto[1] |
write_op |
724 |
1 |
|
|
T2 |
2 |
|
T9 |
6 |
|
T6 |
8 |
auto[1] |
auto[0] |
read_op |
10113 |
1 |
|
|
T1 |
6 |
|
T2 |
6 |
|
T4 |
45 |
auto[1] |
auto[0] |
write_op |
1105 |
1 |
|
|
T2 |
2 |
|
T4 |
1 |
|
T9 |
1 |
auto[1] |
auto[1] |
read_op |
4140 |
1 |
|
|
T2 |
12 |
|
T6 |
51 |
|
T104 |
4 |
auto[1] |
auto[1] |
write_op |
628 |
1 |
|
|
T6 |
7 |
|
T104 |
1 |
|
T105 |
1 |