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 |
28206 |
1 |
|
|
T1 |
42 |
|
T2 |
2 |
|
T3 |
4 |
write_op |
6781 |
1 |
|
|
T2 |
1 |
|
T3 |
2 |
|
T7 |
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] |
11850 |
1 |
|
|
T2 |
3 |
|
T4 |
21 |
|
T5 |
3 |
auto[1] |
23137 |
1 |
|
|
T1 |
42 |
|
T3 |
6 |
|
T7 |
8 |
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] |
25916 |
1 |
|
|
T1 |
42 |
|
T2 |
3 |
|
T3 |
6 |
auto[1] |
9071 |
1 |
|
|
T12 |
216 |
|
T27 |
37 |
|
T28 |
55 |
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 |
5292 |
1 |
|
|
T2 |
2 |
|
T4 |
13 |
|
T5 |
1 |
auto[0] |
auto[0] |
write_op |
2932 |
1 |
|
|
T2 |
1 |
|
T4 |
8 |
|
T5 |
2 |
auto[0] |
auto[1] |
read_op |
2763 |
1 |
|
|
T12 |
67 |
|
T27 |
16 |
|
T28 |
13 |
auto[0] |
auto[1] |
write_op |
863 |
1 |
|
|
T12 |
22 |
|
T27 |
3 |
|
T28 |
6 |
auto[1] |
auto[0] |
read_op |
15496 |
1 |
|
|
T1 |
42 |
|
T3 |
4 |
|
T7 |
5 |
auto[1] |
auto[0] |
write_op |
2196 |
1 |
|
|
T3 |
2 |
|
T7 |
3 |
|
T4 |
6 |
auto[1] |
auto[1] |
read_op |
4655 |
1 |
|
|
T12 |
104 |
|
T27 |
16 |
|
T28 |
31 |
auto[1] |
auto[1] |
write_op |
790 |
1 |
|
|
T12 |
23 |
|
T27 |
2 |
|
T28 |
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 |
28998 |
1 |
|
|
T1 |
26 |
|
T2 |
12 |
|
T7 |
2 |
write_op |
6861 |
1 |
|
|
T1 |
1 |
|
T2 |
5 |
|
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] |
12206 |
1 |
|
|
T1 |
1 |
|
T2 |
17 |
|
T4 |
20 |
auto[1] |
23653 |
1 |
|
|
T1 |
26 |
|
T3 |
1 |
|
T7 |
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] |
29971 |
1 |
|
|
T1 |
27 |
|
T2 |
17 |
|
T3 |
1 |
auto[1] |
5888 |
1 |
|
|
T12 |
171 |
|
T114 |
8 |
|
T27 |
52 |
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 |
6577 |
1 |
|
|
T2 |
12 |
|
T4 |
13 |
|
T6 |
4 |
auto[0] |
auto[0] |
write_op |
3389 |
1 |
|
|
T1 |
1 |
|
T2 |
5 |
|
T4 |
7 |
auto[0] |
auto[1] |
read_op |
1666 |
1 |
|
|
T12 |
54 |
|
T27 |
21 |
|
T104 |
17 |
auto[0] |
auto[1] |
write_op |
574 |
1 |
|
|
T12 |
21 |
|
T27 |
2 |
|
T104 |
3 |
auto[1] |
auto[0] |
read_op |
17667 |
1 |
|
|
T1 |
26 |
|
T7 |
2 |
|
T4 |
42 |
auto[1] |
auto[0] |
write_op |
2338 |
1 |
|
|
T3 |
1 |
|
T7 |
2 |
|
T4 |
6 |
auto[1] |
auto[1] |
read_op |
3088 |
1 |
|
|
T12 |
74 |
|
T114 |
8 |
|
T27 |
23 |
auto[1] |
auto[1] |
write_op |
560 |
1 |
|
|
T12 |
22 |
|
T27 |
6 |
|
T104 |
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 |
28495 |
1 |
|
|
T1 |
20 |
|
T2 |
10 |
|
T3 |
2 |
write_op |
7122 |
1 |
|
|
T1 |
1 |
|
T2 |
4 |
|
T7 |
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] |
12075 |
1 |
|
|
T1 |
1 |
|
T2 |
14 |
|
T4 |
21 |
auto[1] |
23542 |
1 |
|
|
T1 |
20 |
|
T3 |
2 |
|
T7 |
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] |
26553 |
1 |
|
|
T1 |
21 |
|
T2 |
14 |
|
T3 |
2 |
auto[1] |
9064 |
1 |
|
|
T12 |
252 |
|
T27 |
43 |
|
T28 |
37 |
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 |
5417 |
1 |
|
|
T2 |
10 |
|
T4 |
15 |
|
T6 |
1 |
auto[0] |
auto[0] |
write_op |
3040 |
1 |
|
|
T1 |
1 |
|
T2 |
4 |
|
T4 |
6 |
auto[0] |
auto[1] |
read_op |
2688 |
1 |
|
|
T12 |
84 |
|
T27 |
10 |
|
T28 |
7 |
auto[0] |
auto[1] |
write_op |
930 |
1 |
|
|
T12 |
31 |
|
T27 |
3 |
|
T28 |
2 |
auto[1] |
auto[0] |
read_op |
15800 |
1 |
|
|
T1 |
20 |
|
T3 |
2 |
|
T7 |
1 |
auto[1] |
auto[0] |
write_op |
2296 |
1 |
|
|
T7 |
2 |
|
T4 |
9 |
|
T6 |
23 |
auto[1] |
auto[1] |
read_op |
4590 |
1 |
|
|
T12 |
114 |
|
T27 |
27 |
|
T28 |
25 |
auto[1] |
auto[1] |
write_op |
856 |
1 |
|
|
T12 |
23 |
|
T27 |
3 |
|
T28 |
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 |
27480 |
1 |
|
|
T1 |
20 |
|
T2 |
12 |
|
T3 |
2 |
write_op |
4896 |
1 |
|
|
T2 |
5 |
|
T4 |
10 |
|
T6 |
13 |
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] |
10671 |
1 |
|
|
T2 |
17 |
|
T4 |
11 |
|
T6 |
16 |
auto[1] |
21705 |
1 |
|
|
T1 |
20 |
|
T3 |
2 |
|
T4 |
79 |
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] |
28861 |
1 |
|
|
T1 |
20 |
|
T2 |
17 |
|
T3 |
2 |
auto[1] |
3515 |
1 |
|
|
T12 |
68 |
|
T114 |
2 |
|
T28 |
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 |
6589 |
1 |
|
|
T2 |
12 |
|
T4 |
6 |
|
T6 |
11 |
auto[0] |
auto[0] |
write_op |
2714 |
1 |
|
|
T2 |
5 |
|
T4 |
5 |
|
T6 |
5 |
auto[0] |
auto[1] |
read_op |
1116 |
1 |
|
|
T12 |
26 |
|
T28 |
11 |
|
T115 |
7 |
auto[0] |
auto[1] |
write_op |
252 |
1 |
|
|
T12 |
5 |
|
T28 |
3 |
|
T115 |
2 |
auto[1] |
auto[0] |
read_op |
17855 |
1 |
|
|
T1 |
20 |
|
T3 |
2 |
|
T4 |
74 |
auto[1] |
auto[0] |
write_op |
1703 |
1 |
|
|
T4 |
5 |
|
T6 |
8 |
|
T8 |
8 |
auto[1] |
auto[1] |
read_op |
1920 |
1 |
|
|
T12 |
32 |
|
T114 |
2 |
|
T28 |
25 |
auto[1] |
auto[1] |
write_op |
227 |
1 |
|
|
T12 |
5 |
|
T28 |
1 |
|
T115 |
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 |
27418 |
1 |
|
|
T1 |
44 |
|
T2 |
6 |
|
T3 |
6 |
write_op |
6229 |
1 |
|
|
T2 |
2 |
|
T3 |
1 |
|
T4 |
14 |
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] |
11504 |
1 |
|
|
T2 |
8 |
|
T4 |
20 |
|
T6 |
10 |
auto[1] |
22143 |
1 |
|
|
T1 |
44 |
|
T3 |
7 |
|
T4 |
77 |
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] |
24664 |
1 |
|
|
T1 |
44 |
|
T2 |
8 |
|
T3 |
7 |
auto[1] |
8983 |
1 |
|
|
T12 |
235 |
|
T114 |
10 |
|
T27 |
44 |
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 |
5162 |
1 |
|
|
T2 |
6 |
|
T4 |
12 |
|
T6 |
6 |
auto[0] |
auto[0] |
write_op |
2860 |
1 |
|
|
T2 |
2 |
|
T4 |
8 |
|
T6 |
4 |
auto[0] |
auto[1] |
read_op |
2733 |
1 |
|
|
T12 |
88 |
|
T27 |
9 |
|
T28 |
13 |
auto[0] |
auto[1] |
write_op |
749 |
1 |
|
|
T12 |
24 |
|
T27 |
2 |
|
T28 |
3 |
auto[1] |
auto[0] |
read_op |
14767 |
1 |
|
|
T1 |
44 |
|
T3 |
6 |
|
T4 |
71 |
auto[1] |
auto[0] |
write_op |
1875 |
1 |
|
|
T3 |
1 |
|
T4 |
6 |
|
T6 |
13 |
auto[1] |
auto[1] |
read_op |
4756 |
1 |
|
|
T12 |
109 |
|
T114 |
10 |
|
T27 |
31 |
auto[1] |
auto[1] |
write_op |
745 |
1 |
|
|
T12 |
14 |
|
T27 |
2 |
|
T28 |
5 |