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 |
25529 |
1 |
|
|
T1 |
36 |
|
T2 |
3 |
|
T3 |
4 |
write_op |
5983 |
1 |
|
|
T1 |
12 |
|
T2 |
1 |
|
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] |
10799 |
1 |
|
|
T1 |
10 |
|
T2 |
2 |
|
T3 |
5 |
auto[1] |
20713 |
1 |
|
|
T1 |
38 |
|
T2 |
2 |
|
T5 |
6 |
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] |
23638 |
1 |
|
|
T1 |
48 |
|
T2 |
4 |
|
T3 |
5 |
auto[1] |
7874 |
1 |
|
|
T5 |
1 |
|
T10 |
21 |
|
T24 |
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 |
5102 |
1 |
|
|
T1 |
5 |
|
T2 |
1 |
|
T3 |
4 |
auto[0] |
auto[0] |
write_op |
2801 |
1 |
|
|
T1 |
5 |
|
T2 |
1 |
|
T3 |
1 |
auto[0] |
auto[1] |
read_op |
2209 |
1 |
|
|
T5 |
1 |
|
T10 |
7 |
|
T24 |
1 |
auto[0] |
auto[1] |
write_op |
687 |
1 |
|
|
T24 |
1 |
|
T15 |
2 |
|
T33 |
1 |
auto[1] |
auto[0] |
read_op |
13980 |
1 |
|
|
T1 |
31 |
|
T2 |
2 |
|
T5 |
4 |
auto[1] |
auto[0] |
write_op |
1755 |
1 |
|
|
T1 |
7 |
|
T5 |
2 |
|
T63 |
1 |
auto[1] |
auto[1] |
read_op |
4238 |
1 |
|
|
T10 |
13 |
|
T63 |
8 |
|
T33 |
5 |
auto[1] |
auto[1] |
write_op |
740 |
1 |
|
|
T10 |
1 |
|
T33 |
1 |
|
T34 |
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 |
25824 |
1 |
|
|
T1 |
35 |
|
T2 |
2 |
|
T3 |
12 |
write_op |
5977 |
1 |
|
|
T1 |
9 |
|
T3 |
5 |
|
T4 |
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] |
11005 |
1 |
|
|
T1 |
9 |
|
T3 |
17 |
|
T4 |
14 |
auto[1] |
20796 |
1 |
|
|
T1 |
35 |
|
T2 |
2 |
|
T5 |
1 |
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] |
26296 |
1 |
|
|
T1 |
44 |
|
T2 |
2 |
|
T3 |
17 |
auto[1] |
5505 |
1 |
|
|
T24 |
6 |
|
T63 |
10 |
|
T15 |
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 |
5913 |
1 |
|
|
T1 |
7 |
|
T3 |
12 |
|
T4 |
10 |
auto[0] |
auto[0] |
write_op |
3028 |
1 |
|
|
T1 |
2 |
|
T3 |
5 |
|
T4 |
4 |
auto[0] |
auto[1] |
read_op |
1551 |
1 |
|
|
T24 |
3 |
|
T15 |
1 |
|
T13 |
11 |
auto[0] |
auto[1] |
write_op |
513 |
1 |
|
|
T24 |
3 |
|
T15 |
1 |
|
T13 |
5 |
auto[1] |
auto[0] |
read_op |
15446 |
1 |
|
|
T1 |
28 |
|
T2 |
2 |
|
T9 |
32 |
auto[1] |
auto[0] |
write_op |
1909 |
1 |
|
|
T1 |
7 |
|
T5 |
1 |
|
T9 |
3 |
auto[1] |
auto[1] |
read_op |
2914 |
1 |
|
|
T63 |
10 |
|
T13 |
47 |
|
T62 |
16 |
auto[1] |
auto[1] |
write_op |
527 |
1 |
|
|
T13 |
8 |
|
T62 |
4 |
|
T89 |
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 |
25943 |
1 |
|
|
T1 |
18 |
|
T2 |
2 |
|
T3 |
18 |
write_op |
6378 |
1 |
|
|
T1 |
4 |
|
T3 |
8 |
|
T4 |
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] |
11184 |
1 |
|
|
T1 |
2 |
|
T3 |
26 |
|
T4 |
6 |
auto[1] |
21137 |
1 |
|
|
T1 |
20 |
|
T2 |
2 |
|
T5 |
1 |
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] |
24385 |
1 |
|
|
T1 |
22 |
|
T2 |
2 |
|
T3 |
26 |
auto[1] |
7936 |
1 |
|
|
T10 |
35 |
|
T15 |
13 |
|
T33 |
3 |
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 |
5201 |
1 |
|
|
T1 |
1 |
|
T3 |
18 |
|
T4 |
4 |
auto[0] |
auto[0] |
write_op |
2899 |
1 |
|
|
T1 |
1 |
|
T3 |
8 |
|
T4 |
2 |
auto[0] |
auto[1] |
read_op |
2301 |
1 |
|
|
T10 |
6 |
|
T15 |
5 |
|
T33 |
1 |
auto[0] |
auto[1] |
write_op |
783 |
1 |
|
|
T10 |
4 |
|
T15 |
1 |
|
T34 |
2 |
auto[1] |
auto[0] |
read_op |
14391 |
1 |
|
|
T1 |
17 |
|
T2 |
2 |
|
T9 |
38 |
auto[1] |
auto[0] |
write_op |
1894 |
1 |
|
|
T1 |
3 |
|
T5 |
1 |
|
T10 |
1 |
auto[1] |
auto[1] |
read_op |
4050 |
1 |
|
|
T10 |
21 |
|
T15 |
5 |
|
T33 |
1 |
auto[1] |
auto[1] |
write_op |
802 |
1 |
|
|
T10 |
4 |
|
T15 |
2 |
|
T33 |
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 |
24930 |
1 |
|
|
T1 |
22 |
|
T2 |
4 |
|
T3 |
8 |
write_op |
4452 |
1 |
|
|
T1 |
7 |
|
T3 |
2 |
|
T4 |
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] |
10096 |
1 |
|
|
T1 |
4 |
|
T3 |
10 |
|
T4 |
14 |
auto[1] |
19286 |
1 |
|
|
T1 |
25 |
|
T2 |
4 |
|
T5 |
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] |
26786 |
1 |
|
|
T1 |
29 |
|
T2 |
4 |
|
T3 |
10 |
auto[1] |
2596 |
1 |
|
|
T10 |
28 |
|
T33 |
10 |
|
T34 |
9 |
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 |
6487 |
1 |
|
|
T1 |
2 |
|
T3 |
8 |
|
T4 |
10 |
auto[0] |
auto[0] |
write_op |
2611 |
1 |
|
|
T1 |
2 |
|
T3 |
2 |
|
T4 |
4 |
auto[0] |
auto[1] |
read_op |
822 |
1 |
|
|
T10 |
8 |
|
T33 |
2 |
|
T34 |
2 |
auto[0] |
auto[1] |
write_op |
176 |
1 |
|
|
T10 |
2 |
|
T33 |
1 |
|
T34 |
1 |
auto[1] |
auto[0] |
read_op |
16183 |
1 |
|
|
T1 |
20 |
|
T2 |
4 |
|
T5 |
1 |
auto[1] |
auto[0] |
write_op |
1505 |
1 |
|
|
T1 |
5 |
|
T5 |
1 |
|
T15 |
1 |
auto[1] |
auto[1] |
read_op |
1438 |
1 |
|
|
T10 |
16 |
|
T33 |
6 |
|
T34 |
5 |
auto[1] |
auto[1] |
write_op |
160 |
1 |
|
|
T10 |
2 |
|
T33 |
1 |
|
T34 |
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 |
25088 |
1 |
|
|
T1 |
20 |
|
T2 |
10 |
|
T3 |
8 |
write_op |
5574 |
1 |
|
|
T1 |
6 |
|
T3 |
3 |
|
T4 |
5 |
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] |
10656 |
1 |
|
|
T1 |
8 |
|
T2 |
2 |
|
T3 |
11 |
auto[1] |
20006 |
1 |
|
|
T1 |
18 |
|
T2 |
8 |
|
T5 |
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] |
23135 |
1 |
|
|
T1 |
26 |
|
T2 |
10 |
|
T3 |
11 |
auto[1] |
7527 |
1 |
|
|
T10 |
23 |
|
T15 |
6 |
|
T33 |
18 |
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 |
4996 |
1 |
|
|
T1 |
5 |
|
T2 |
2 |
|
T3 |
8 |
auto[0] |
auto[0] |
write_op |
2707 |
1 |
|
|
T1 |
3 |
|
T3 |
3 |
|
T4 |
5 |
auto[0] |
auto[1] |
read_op |
2307 |
1 |
|
|
T10 |
6 |
|
T15 |
2 |
|
T33 |
15 |
auto[0] |
auto[1] |
write_op |
646 |
1 |
|
|
T10 |
3 |
|
T15 |
1 |
|
T33 |
3 |
auto[1] |
auto[0] |
read_op |
13815 |
1 |
|
|
T1 |
15 |
|
T2 |
8 |
|
T5 |
3 |
auto[1] |
auto[0] |
write_op |
1617 |
1 |
|
|
T1 |
3 |
|
T63 |
1 |
|
T15 |
1 |
auto[1] |
auto[1] |
read_op |
3970 |
1 |
|
|
T10 |
13 |
|
T15 |
1 |
|
T34 |
11 |
auto[1] |
auto[1] |
write_op |
604 |
1 |
|
|
T10 |
1 |
|
T15 |
2 |
|
T34 |
2 |