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 |
28006 |
1 |
|
|
T1 |
4 |
|
T2 |
10 |
|
T3 |
6 |
write_op |
6663 |
1 |
|
|
T1 |
1 |
|
T2 |
3 |
|
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] |
11370 |
1 |
|
|
T1 |
3 |
|
T2 |
10 |
|
T3 |
8 |
auto[1] |
23299 |
1 |
|
|
T1 |
2 |
|
T2 |
3 |
|
T4 |
52 |
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] |
26234 |
1 |
|
|
T1 |
5 |
|
T2 |
10 |
|
T3 |
8 |
auto[1] |
8435 |
1 |
|
|
T2 |
3 |
|
T4 |
57 |
|
T13 |
38 |
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 |
5213 |
1 |
|
|
T1 |
2 |
|
T2 |
4 |
|
T3 |
6 |
auto[0] |
auto[0] |
write_op |
2873 |
1 |
|
|
T1 |
1 |
|
T2 |
3 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2488 |
1 |
|
|
T2 |
3 |
|
T4 |
8 |
|
T13 |
5 |
auto[0] |
auto[1] |
write_op |
796 |
1 |
|
|
T4 |
1 |
|
T13 |
1 |
|
T41 |
2 |
auto[1] |
auto[0] |
read_op |
15954 |
1 |
|
|
T1 |
2 |
|
T2 |
3 |
|
T4 |
3 |
auto[1] |
auto[0] |
write_op |
2194 |
1 |
|
|
T4 |
1 |
|
T13 |
3 |
|
T6 |
28 |
auto[1] |
auto[1] |
read_op |
4351 |
1 |
|
|
T4 |
40 |
|
T13 |
29 |
|
T41 |
30 |
auto[1] |
auto[1] |
write_op |
800 |
1 |
|
|
T4 |
8 |
|
T13 |
3 |
|
T41 |
9 |
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 |
29424 |
1 |
|
|
T1 |
2 |
|
T2 |
8 |
|
T3 |
8 |
write_op |
6837 |
1 |
|
|
T1 |
2 |
|
T2 |
3 |
|
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] |
12266 |
1 |
|
|
T1 |
2 |
|
T2 |
4 |
|
T3 |
12 |
auto[1] |
23995 |
1 |
|
|
T1 |
2 |
|
T2 |
7 |
|
T4 |
34 |
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] |
29819 |
1 |
|
|
T1 |
4 |
|
T2 |
8 |
|
T3 |
12 |
auto[1] |
6442 |
1 |
|
|
T2 |
3 |
|
T4 |
50 |
|
T102 |
7 |
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 |
6416 |
1 |
|
|
T2 |
1 |
|
T3 |
8 |
|
T4 |
2 |
auto[0] |
auto[0] |
write_op |
3246 |
1 |
|
|
T1 |
2 |
|
T3 |
4 |
|
T4 |
2 |
auto[0] |
auto[1] |
read_op |
1945 |
1 |
|
|
T2 |
2 |
|
T4 |
16 |
|
T102 |
4 |
auto[0] |
auto[1] |
write_op |
659 |
1 |
|
|
T2 |
1 |
|
T4 |
4 |
|
T42 |
5 |
auto[1] |
auto[0] |
read_op |
17858 |
1 |
|
|
T1 |
2 |
|
T2 |
5 |
|
T4 |
4 |
auto[1] |
auto[0] |
write_op |
2299 |
1 |
|
|
T2 |
2 |
|
T13 |
12 |
|
T6 |
26 |
auto[1] |
auto[1] |
read_op |
3205 |
1 |
|
|
T4 |
28 |
|
T102 |
3 |
|
T42 |
9 |
auto[1] |
auto[1] |
write_op |
633 |
1 |
|
|
T4 |
2 |
|
T42 |
2 |
|
T99 |
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 |
28273 |
1 |
|
|
T1 |
8 |
|
T2 |
6 |
|
T3 |
12 |
write_op |
6922 |
1 |
|
|
T1 |
1 |
|
T2 |
5 |
|
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] |
11568 |
1 |
|
|
T1 |
1 |
|
T2 |
3 |
|
T3 |
18 |
auto[1] |
23627 |
1 |
|
|
T1 |
8 |
|
T2 |
8 |
|
T4 |
48 |
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] |
26174 |
1 |
|
|
T1 |
9 |
|
T2 |
6 |
|
T3 |
18 |
auto[1] |
9021 |
1 |
|
|
T2 |
5 |
|
T4 |
60 |
|
T13 |
61 |
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 |
5269 |
1 |
|
|
T2 |
1 |
|
T3 |
12 |
|
T9 |
1 |
auto[0] |
auto[0] |
write_op |
2974 |
1 |
|
|
T1 |
1 |
|
T2 |
2 |
|
T3 |
6 |
auto[0] |
auto[1] |
read_op |
2516 |
1 |
|
|
T4 |
15 |
|
T13 |
13 |
|
T41 |
12 |
auto[0] |
auto[1] |
write_op |
809 |
1 |
|
|
T4 |
4 |
|
T13 |
3 |
|
T41 |
2 |
auto[1] |
auto[0] |
read_op |
15733 |
1 |
|
|
T1 |
8 |
|
T2 |
2 |
|
T4 |
3 |
auto[1] |
auto[0] |
write_op |
2198 |
1 |
|
|
T2 |
1 |
|
T4 |
4 |
|
T13 |
2 |
auto[1] |
auto[1] |
read_op |
4755 |
1 |
|
|
T2 |
3 |
|
T4 |
33 |
|
T13 |
38 |
auto[1] |
auto[1] |
write_op |
941 |
1 |
|
|
T2 |
2 |
|
T4 |
8 |
|
T13 |
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 |
27655 |
1 |
|
|
T1 |
5 |
|
T2 |
5 |
|
T3 |
6 |
write_op |
4855 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
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] |
10326 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
9 |
auto[1] |
22184 |
1 |
|
|
T1 |
4 |
|
T2 |
5 |
|
T4 |
61 |
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] |
29585 |
1 |
|
|
T1 |
6 |
|
T2 |
6 |
|
T3 |
9 |
auto[1] |
2925 |
1 |
|
|
T13 |
53 |
|
T41 |
48 |
|
T101 |
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 |
6626 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
T3 |
6 |
auto[0] |
auto[0] |
write_op |
2645 |
1 |
|
|
T1 |
1 |
|
T3 |
3 |
|
T4 |
4 |
auto[0] |
auto[1] |
read_op |
845 |
1 |
|
|
T13 |
7 |
|
T41 |
13 |
|
T101 |
3 |
auto[0] |
auto[1] |
write_op |
210 |
1 |
|
|
T13 |
1 |
|
T41 |
3 |
|
T101 |
1 |
auto[1] |
auto[0] |
read_op |
18501 |
1 |
|
|
T1 |
4 |
|
T2 |
4 |
|
T4 |
57 |
auto[1] |
auto[0] |
write_op |
1813 |
1 |
|
|
T2 |
1 |
|
T4 |
4 |
|
T13 |
4 |
auto[1] |
auto[1] |
read_op |
1683 |
1 |
|
|
T13 |
43 |
|
T41 |
28 |
|
T65 |
1 |
auto[1] |
auto[1] |
write_op |
187 |
1 |
|
|
T13 |
2 |
|
T41 |
4 |
|
T65 |
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 |
27909 |
1 |
|
|
T1 |
2 |
|
T2 |
8 |
|
T3 |
8 |
write_op |
6280 |
1 |
|
|
T1 |
1 |
|
T2 |
3 |
|
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] |
11521 |
1 |
|
|
T1 |
1 |
|
T2 |
11 |
|
T3 |
10 |
auto[1] |
22668 |
1 |
|
|
T1 |
2 |
|
T4 |
43 |
|
T5 |
4 |
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] |
25012 |
1 |
|
|
T1 |
3 |
|
T2 |
4 |
|
T3 |
10 |
auto[1] |
9177 |
1 |
|
|
T2 |
7 |
|
T4 |
55 |
|
T13 |
51 |
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 |
5116 |
1 |
|
|
T2 |
3 |
|
T3 |
8 |
|
T10 |
2 |
auto[0] |
auto[0] |
write_op |
2813 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2771 |
1 |
|
|
T2 |
5 |
|
T4 |
18 |
|
T13 |
9 |
auto[0] |
auto[1] |
write_op |
821 |
1 |
|
|
T2 |
2 |
|
T4 |
1 |
|
T13 |
3 |
auto[1] |
auto[0] |
read_op |
15157 |
1 |
|
|
T1 |
2 |
|
T4 |
6 |
|
T5 |
4 |
auto[1] |
auto[0] |
write_op |
1926 |
1 |
|
|
T4 |
1 |
|
T11 |
1 |
|
T13 |
1 |
auto[1] |
auto[1] |
read_op |
4865 |
1 |
|
|
T4 |
30 |
|
T13 |
34 |
|
T41 |
28 |
auto[1] |
auto[1] |
write_op |
720 |
1 |
|
|
T4 |
6 |
|
T13 |
5 |
|
T41 |
6 |