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 |
29036 |
1 |
|
|
T1 |
4 |
|
T2 |
33 |
|
T3 |
36 |
write_op |
6933 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
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] |
11452 |
1 |
|
|
T1 |
5 |
|
T2 |
2 |
|
T3 |
8 |
auto[1] |
24517 |
1 |
|
|
T2 |
32 |
|
T3 |
32 |
|
T4 |
39 |
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] |
26944 |
1 |
|
|
T1 |
5 |
|
T2 |
34 |
|
T3 |
40 |
auto[1] |
9025 |
1 |
|
|
T4 |
41 |
|
T28 |
47 |
|
T17 |
113 |
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 |
5182 |
1 |
|
|
T1 |
4 |
|
T2 |
1 |
|
T3 |
4 |
auto[0] |
auto[0] |
write_op |
2896 |
1 |
|
|
T1 |
1 |
|
T2 |
1 |
|
T3 |
4 |
auto[0] |
auto[1] |
read_op |
2528 |
1 |
|
|
T4 |
6 |
|
T28 |
6 |
|
T17 |
49 |
auto[0] |
auto[1] |
write_op |
846 |
1 |
|
|
T4 |
3 |
|
T28 |
2 |
|
T17 |
17 |
auto[1] |
auto[0] |
read_op |
16581 |
1 |
|
|
T2 |
32 |
|
T3 |
32 |
|
T4 |
7 |
auto[1] |
auto[0] |
write_op |
2285 |
1 |
|
|
T28 |
6 |
|
T67 |
2 |
|
T17 |
7 |
auto[1] |
auto[1] |
read_op |
4745 |
1 |
|
|
T4 |
32 |
|
T28 |
30 |
|
T17 |
36 |
auto[1] |
auto[1] |
write_op |
906 |
1 |
|
|
T28 |
9 |
|
T17 |
11 |
|
T29 |
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 |
29333 |
1 |
|
|
T1 |
16 |
|
T2 |
40 |
|
T3 |
33 |
write_op |
6619 |
1 |
|
|
T1 |
8 |
|
T2 |
5 |
|
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] |
11537 |
1 |
|
|
T1 |
24 |
|
T2 |
6 |
|
T3 |
6 |
auto[1] |
24415 |
1 |
|
|
T2 |
39 |
|
T3 |
30 |
|
T4 |
47 |
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] |
30464 |
1 |
|
|
T1 |
24 |
|
T2 |
21 |
|
T3 |
36 |
auto[1] |
5488 |
1 |
|
|
T2 |
24 |
|
T28 |
36 |
|
T17 |
76 |
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 |
6252 |
1 |
|
|
T1 |
16 |
|
T3 |
3 |
|
T4 |
8 |
auto[0] |
auto[0] |
write_op |
3196 |
1 |
|
|
T1 |
8 |
|
T2 |
1 |
|
T3 |
3 |
auto[0] |
auto[1] |
read_op |
1555 |
1 |
|
|
T2 |
4 |
|
T28 |
3 |
|
T17 |
25 |
auto[0] |
auto[1] |
write_op |
534 |
1 |
|
|
T2 |
1 |
|
T28 |
2 |
|
T17 |
7 |
auto[1] |
auto[0] |
read_op |
18681 |
1 |
|
|
T2 |
20 |
|
T3 |
30 |
|
T4 |
43 |
auto[1] |
auto[0] |
write_op |
2335 |
1 |
|
|
T4 |
4 |
|
T28 |
2 |
|
T67 |
3 |
auto[1] |
auto[1] |
read_op |
2845 |
1 |
|
|
T2 |
16 |
|
T28 |
27 |
|
T17 |
33 |
auto[1] |
auto[1] |
write_op |
554 |
1 |
|
|
T2 |
3 |
|
T28 |
4 |
|
T17 |
11 |
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 |
29295 |
1 |
|
|
T1 |
10 |
|
T2 |
44 |
|
T3 |
25 |
write_op |
7226 |
1 |
|
|
T1 |
5 |
|
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] |
12056 |
1 |
|
|
T1 |
15 |
|
T2 |
12 |
|
T3 |
5 |
auto[1] |
24465 |
1 |
|
|
T2 |
37 |
|
T3 |
22 |
|
T4 |
60 |
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] |
27560 |
1 |
|
|
T1 |
15 |
|
T2 |
49 |
|
T3 |
27 |
auto[1] |
8961 |
1 |
|
|
T4 |
45 |
|
T28 |
45 |
|
T17 |
89 |
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 |
5534 |
1 |
|
|
T1 |
10 |
|
T2 |
8 |
|
T3 |
3 |
auto[0] |
auto[0] |
write_op |
3104 |
1 |
|
|
T1 |
5 |
|
T2 |
4 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2577 |
1 |
|
|
T4 |
1 |
|
T28 |
2 |
|
T17 |
35 |
auto[0] |
auto[1] |
write_op |
841 |
1 |
|
|
T4 |
1 |
|
T28 |
1 |
|
T17 |
10 |
auto[1] |
auto[0] |
read_op |
16546 |
1 |
|
|
T2 |
36 |
|
T3 |
22 |
|
T4 |
14 |
auto[1] |
auto[0] |
write_op |
2376 |
1 |
|
|
T2 |
1 |
|
T4 |
3 |
|
T8 |
1 |
auto[1] |
auto[1] |
read_op |
4638 |
1 |
|
|
T4 |
41 |
|
T28 |
33 |
|
T17 |
32 |
auto[1] |
auto[1] |
write_op |
905 |
1 |
|
|
T4 |
2 |
|
T28 |
9 |
|
T17 |
12 |
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 |
27673 |
1 |
|
|
T1 |
8 |
|
T2 |
38 |
|
T3 |
32 |
write_op |
4861 |
1 |
|
|
T1 |
2 |
|
T2 |
2 |
|
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] |
10442 |
1 |
|
|
T1 |
10 |
|
T2 |
7 |
|
T3 |
3 |
auto[1] |
22092 |
1 |
|
|
T2 |
33 |
|
T3 |
30 |
|
T4 |
24 |
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] |
28746 |
1 |
|
|
T1 |
10 |
|
T2 |
40 |
|
T3 |
33 |
auto[1] |
3788 |
1 |
|
|
T4 |
30 |
|
T17 |
27 |
|
T29 |
23 |
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 |
6422 |
1 |
|
|
T1 |
8 |
|
T2 |
5 |
|
T3 |
2 |
auto[0] |
auto[0] |
write_op |
2620 |
1 |
|
|
T1 |
2 |
|
T2 |
2 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
1146 |
1 |
|
|
T4 |
4 |
|
T17 |
10 |
|
T29 |
6 |
auto[0] |
auto[1] |
write_op |
254 |
1 |
|
|
T4 |
2 |
|
T17 |
4 |
|
T29 |
2 |
auto[1] |
auto[0] |
read_op |
17929 |
1 |
|
|
T2 |
33 |
|
T3 |
30 |
|
T5 |
8 |
auto[1] |
auto[0] |
write_op |
1775 |
1 |
|
|
T28 |
4 |
|
T17 |
17 |
|
T105 |
5 |
auto[1] |
auto[1] |
read_op |
2176 |
1 |
|
|
T4 |
23 |
|
T17 |
12 |
|
T29 |
14 |
auto[1] |
auto[1] |
write_op |
212 |
1 |
|
|
T4 |
1 |
|
T17 |
1 |
|
T29 |
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 |
28184 |
1 |
|
|
T1 |
6 |
|
T2 |
53 |
|
T3 |
25 |
write_op |
6336 |
1 |
|
|
T1 |
2 |
|
T2 |
4 |
|
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] |
11558 |
1 |
|
|
T1 |
8 |
|
T2 |
12 |
|
T3 |
3 |
auto[1] |
22962 |
1 |
|
|
T2 |
45 |
|
T3 |
24 |
|
T4 |
42 |
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] |
25640 |
1 |
|
|
T1 |
8 |
|
T2 |
36 |
|
T3 |
27 |
auto[1] |
8880 |
1 |
|
|
T2 |
21 |
|
T4 |
46 |
|
T28 |
16 |
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 |
5279 |
1 |
|
|
T1 |
6 |
|
T2 |
2 |
|
T3 |
1 |
auto[0] |
auto[0] |
write_op |
2906 |
1 |
|
|
T1 |
2 |
|
T2 |
2 |
|
T3 |
2 |
auto[0] |
auto[1] |
read_op |
2651 |
1 |
|
|
T2 |
7 |
|
T4 |
7 |
|
T28 |
1 |
auto[0] |
auto[1] |
write_op |
722 |
1 |
|
|
T2 |
1 |
|
T28 |
1 |
|
T17 |
11 |
auto[1] |
auto[0] |
read_op |
15500 |
1 |
|
|
T2 |
32 |
|
T3 |
24 |
|
T4 |
2 |
auto[1] |
auto[0] |
write_op |
1955 |
1 |
|
|
T4 |
1 |
|
T12 |
1 |
|
T28 |
2 |
auto[1] |
auto[1] |
read_op |
4754 |
1 |
|
|
T2 |
12 |
|
T4 |
37 |
|
T28 |
10 |
auto[1] |
auto[1] |
write_op |
753 |
1 |
|
|
T2 |
1 |
|
T4 |
2 |
|
T28 |
4 |