1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
QA output created by 697
=== filtered valgrind report ===
=== std err ===
=== std out ===
Command: pmie -v -t 0.5sec -T 3sec
ERROR SUMMARY: 0 errors from 0 contexts ...
LEAK SUMMARY:
Memcheck, a memory error detector
definitely lost: 0 bytes in 0 blocks
e1: unknown
e2: unknown
false_1F_and_1F: false
false_1F_and_1T: false
false_1F_and_1U: false
false_1F_and_nF: false
false_1F_and_nT: false
false_1F_and_nU: false
false_1F_or_1F: false
false_1F_or_nF: false
false_1T_and_1F: false
false_1T_and_nF: false
false_1U_and_1F: false
false_1U_and_nF: false
false_nF_and_1F: false
false_nF_and_1T: false
false_nF_and_1U: false
false_nF_and_nF: false
false_nF_and_nT: false
false_nF_and_nU: false
false_nF_or_1F: false
false_nF_or_nF: false
false_nT_and_1F: false
false_nT_and_nF: false
false_nU_and_nF: false
indirectly lost: 0 bytes in 0 blocks
pmie: note - evaluator exiting
prime: ?
true_1F_or_1T: OK should always be true
true_1F_or_1T: true
true_1F_or_nT: OK should always be true
true_1F_or_nT: true
true_1T_and_1T: OK should always be true
true_1T_and_1T: true
true_1T_and_nT: OK should always be true
true_1T_and_nT: true
true_1T_or_1F: OK should always be true
true_1T_or_1F: true
true_1T_or_1T: OK should always be true
true_1T_or_1T: true
true_1T_or_1U: OK should always be true
true_1T_or_1U: true
true_1T_or_nF: OK should always be true
true_1T_or_nF: true
true_1T_or_nT: OK should always be true
true_1T_or_nT: true
true_1T_or_nU: OK should always be true
true_1T_or_nU: true
true_1U_or_1T: OK should always be true
true_1U_or_1T: true
true_1U_or_nT: OK should always be true
true_1U_or_nT: true
true_nF_or_1T: OK should always be true
true_nF_or_1T: true
true_nF_or_nT: OK should always be true
true_nF_or_nT: true
true_nT_and_1T: OK should always be true
true_nT_and_1T: true
true_nT_and_nT: OK should always be true
true_nT_and_nT: true
true_nT_or_1F: OK should always be true
true_nT_or_1F: true
true_nT_or_1T: OK should always be true
true_nT_or_1T: true
true_nT_or_1U: OK should always be true
true_nT_or_1U: true
true_nT_or_nF: OK should always be true
true_nT_or_nF: true
true_nT_or_nT: OK should always be true
true_nT_or_nT: true
true_nT_or_nU: OK should always be true
true_nT_or_nU: true
true_nU_or_nT: OK should always be true
true_nU_or_nT: true
unknown_1F_or_1U: unknown
unknown_1F_or_nU: unknown
unknown_1T_and_1U: unknown
unknown_1T_and_nU: unknown
unknown_1U_and_1T: unknown
unknown_1U_and_1U: unknown
unknown_1U_and_nT: unknown
unknown_1U_and_nU: unknown
unknown_1U_or_1F: unknown
unknown_1U_or_1U: unknown
unknown_1U_or_nF: unknown
unknown_1U_or_nU: unknown
unknown_nF_or_1U: unknown
unknown_nF_or_nU: unknown
unknown_nT_and_1U: unknown
unknown_nT_and_nU: unknown
unknown_nU_and_1F: unknown
unknown_nU_and_1T: unknown
unknown_nU_and_1U: unknown
unknown_nU_and_nT: unknown
unknown_nU_and_nU: unknown
unknown_nU_or_1F: unknown
unknown_nU_or_1T: unknown
unknown_nU_or_1U: unknown
unknown_nU_or_nF: unknown
unknown_nU_or_nU: unknown
|
