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 |
27829 |
1 |
|
|
T1 |
2 |
|
T2 |
61 |
|
T3 |
51 |
write_op |
6682 |
1 |
|
|
T1 |
1 |
|
T2 |
10 |
|
T3 |
15 |
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] |
11483 |
1 |
|
|
T1 |
3 |
|
T2 |
1 |
|
T3 |
2 |
auto[1] |
23028 |
1 |
|
|
T2 |
70 |
|
T3 |
64 |
|
T4 |
91 |
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] |
26203 |
1 |
|
|
T1 |
3 |
|
T2 |
71 |
|
T3 |
9 |
auto[1] |
8308 |
1 |
|
|
T3 |
57 |
|
T10 |
91 |
|
T11 |
12 |
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 |
5323 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T4 |
8 |
auto[0] |
auto[0] |
write_op |
2979 |
1 |
|
|
T1 |
1 |
|
T4 |
7 |
|
T6 |
8 |
auto[0] |
auto[1] |
read_op |
2453 |
1 |
|
|
T3 |
2 |
|
T10 |
31 |
|
T11 |
5 |
auto[0] |
auto[1] |
write_op |
728 |
1 |
|
|
T10 |
20 |
|
T11 |
2 |
|
T91 |
1 |
auto[1] |
auto[0] |
read_op |
15734 |
1 |
|
|
T2 |
60 |
|
T3 |
4 |
|
T4 |
68 |
auto[1] |
auto[0] |
write_op |
2167 |
1 |
|
|
T2 |
10 |
|
T3 |
5 |
|
T4 |
23 |
auto[1] |
auto[1] |
read_op |
4319 |
1 |
|
|
T3 |
45 |
|
T10 |
30 |
|
T11 |
4 |
auto[1] |
auto[1] |
write_op |
808 |
1 |
|
|
T3 |
10 |
|
T10 |
10 |
|
T11 |
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 |
28084 |
1 |
|
|
T1 |
8 |
|
T2 |
61 |
|
T3 |
57 |
write_op |
6413 |
1 |
|
|
T1 |
3 |
|
T2 |
12 |
|
T3 |
9 |
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] |
11458 |
1 |
|
|
T1 |
11 |
|
T2 |
3 |
|
T3 |
20 |
auto[1] |
23039 |
1 |
|
|
T2 |
70 |
|
T3 |
46 |
|
T4 |
96 |
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] |
28643 |
1 |
|
|
T1 |
11 |
|
T2 |
73 |
|
T3 |
11 |
auto[1] |
5854 |
1 |
|
|
T3 |
55 |
|
T10 |
37 |
|
T91 |
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 |
6047 |
1 |
|
|
T1 |
8 |
|
T2 |
2 |
|
T4 |
23 |
auto[0] |
auto[0] |
write_op |
3072 |
1 |
|
|
T1 |
3 |
|
T2 |
1 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
1789 |
1 |
|
|
T3 |
16 |
|
T10 |
17 |
|
T91 |
2 |
auto[0] |
auto[1] |
write_op |
550 |
1 |
|
|
T3 |
3 |
|
T10 |
10 |
|
T93 |
2 |
auto[1] |
auto[0] |
read_op |
17275 |
1 |
|
|
T2 |
59 |
|
T3 |
8 |
|
T4 |
79 |
auto[1] |
auto[0] |
write_op |
2249 |
1 |
|
|
T2 |
11 |
|
T3 |
2 |
|
T4 |
17 |
auto[1] |
auto[1] |
read_op |
2973 |
1 |
|
|
T3 |
33 |
|
T10 |
7 |
|
T91 |
9 |
auto[1] |
auto[1] |
write_op |
542 |
1 |
|
|
T3 |
3 |
|
T10 |
3 |
|
T91 |
2 |
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 |
28297 |
1 |
|
|
T1 |
8 |
|
T2 |
76 |
|
T3 |
71 |
write_op |
6872 |
1 |
|
|
T1 |
4 |
|
T2 |
13 |
|
T3 |
11 |
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] |
11580 |
1 |
|
|
T1 |
12 |
|
T2 |
1 |
|
T3 |
17 |
auto[1] |
23589 |
1 |
|
|
T2 |
88 |
|
T3 |
65 |
|
T4 |
160 |
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] |
26267 |
1 |
|
|
T1 |
12 |
|
T2 |
89 |
|
T3 |
10 |
auto[1] |
8902 |
1 |
|
|
T3 |
72 |
|
T10 |
81 |
|
T11 |
12 |
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 |
5273 |
1 |
|
|
T1 |
8 |
|
T3 |
2 |
|
T4 |
1 |
auto[0] |
auto[0] |
write_op |
2971 |
1 |
|
|
T1 |
4 |
|
T2 |
1 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
2516 |
1 |
|
|
T3 |
12 |
|
T10 |
33 |
|
T11 |
4 |
auto[0] |
auto[1] |
write_op |
820 |
1 |
|
|
T3 |
2 |
|
T10 |
13 |
|
T11 |
1 |
auto[1] |
auto[0] |
read_op |
15836 |
1 |
|
|
T2 |
76 |
|
T3 |
4 |
|
T4 |
121 |
auto[1] |
auto[0] |
write_op |
2187 |
1 |
|
|
T2 |
12 |
|
T3 |
3 |
|
T4 |
39 |
auto[1] |
auto[1] |
read_op |
4672 |
1 |
|
|
T3 |
53 |
|
T10 |
30 |
|
T11 |
6 |
auto[1] |
auto[1] |
write_op |
894 |
1 |
|
|
T3 |
5 |
|
T10 |
5 |
|
T11 |
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 |
26823 |
1 |
|
|
T1 |
8 |
|
T2 |
53 |
|
T3 |
67 |
write_op |
4843 |
1 |
|
|
T1 |
2 |
|
T2 |
12 |
|
T3 |
7 |
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] |
10410 |
1 |
|
|
T1 |
10 |
|
T2 |
5 |
|
T3 |
27 |
auto[1] |
21256 |
1 |
|
|
T2 |
60 |
|
T3 |
47 |
|
T4 |
109 |
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] |
28852 |
1 |
|
|
T1 |
10 |
|
T2 |
65 |
|
T3 |
74 |
auto[1] |
2814 |
1 |
|
|
T10 |
33 |
|
T11 |
19 |
|
T31 |
17 |
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 |
6692 |
1 |
|
|
T1 |
8 |
|
T2 |
3 |
|
T3 |
26 |
auto[0] |
auto[0] |
write_op |
2690 |
1 |
|
|
T1 |
2 |
|
T2 |
2 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
833 |
1 |
|
|
T10 |
14 |
|
T11 |
3 |
|
T31 |
8 |
auto[0] |
auto[1] |
write_op |
195 |
1 |
|
|
T10 |
1 |
|
T11 |
1 |
|
T31 |
3 |
auto[1] |
auto[0] |
read_op |
17712 |
1 |
|
|
T2 |
50 |
|
T3 |
41 |
|
T4 |
89 |
auto[1] |
auto[0] |
write_op |
1758 |
1 |
|
|
T2 |
10 |
|
T3 |
6 |
|
T4 |
20 |
auto[1] |
auto[1] |
read_op |
1586 |
1 |
|
|
T10 |
15 |
|
T11 |
12 |
|
T31 |
3 |
auto[1] |
auto[1] |
write_op |
200 |
1 |
|
|
T10 |
3 |
|
T11 |
3 |
|
T31 |
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 |
26989 |
1 |
|
|
T1 |
8 |
|
T2 |
56 |
|
T3 |
52 |
write_op |
6112 |
1 |
|
|
T1 |
4 |
|
T2 |
14 |
|
T3 |
9 |
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] |
11230 |
1 |
|
|
T1 |
12 |
|
T2 |
4 |
|
T3 |
18 |
auto[1] |
21871 |
1 |
|
|
T2 |
66 |
|
T3 |
43 |
|
T4 |
118 |
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] |
24784 |
1 |
|
|
T1 |
12 |
|
T2 |
70 |
|
T3 |
20 |
auto[1] |
8317 |
1 |
|
|
T3 |
41 |
|
T10 |
80 |
|
T11 |
12 |
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 |
5225 |
1 |
|
|
T1 |
8 |
|
T2 |
2 |
|
T3 |
4 |
auto[0] |
auto[0] |
write_op |
2823 |
1 |
|
|
T1 |
4 |
|
T2 |
2 |
|
T3 |
3 |
auto[0] |
auto[1] |
read_op |
2485 |
1 |
|
|
T3 |
9 |
|
T10 |
23 |
|
T11 |
3 |
auto[0] |
auto[1] |
write_op |
697 |
1 |
|
|
T3 |
2 |
|
T10 |
6 |
|
T31 |
2 |
auto[1] |
auto[0] |
read_op |
14855 |
1 |
|
|
T2 |
54 |
|
T3 |
11 |
|
T4 |
93 |
auto[1] |
auto[0] |
write_op |
1881 |
1 |
|
|
T2 |
12 |
|
T3 |
2 |
|
T4 |
25 |
auto[1] |
auto[1] |
read_op |
4424 |
1 |
|
|
T3 |
28 |
|
T10 |
43 |
|
T11 |
7 |
auto[1] |
auto[1] |
write_op |
711 |
1 |
|
|
T3 |
2 |
|
T10 |
8 |
|
T11 |
2 |