-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgroup-1066315648.html
83 lines (74 loc) · 1.53 KB
/
group-1066315648.html
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
<!DOCTYPE html>
<html>
<head>
<title>CoLiS-Language Covering</title>
<meta charset="utf-8" />
<style type="text/css">
body {
width: 80%;
margin: auto;
}
table {
width: 100%;
}
table#summary tbody {
height: 500px;
}
table#summary td {
text-align: center;
}
table#summary td.success {
background: #afa;
}
table#summary td.error {
background: #faa;
}
th, table#summary td.empty {
background: #ddd;
}
table#details td {
vertical-align: top;
text-align: left;
}
table#details tbody {
border-bottom: 2px solid #ddd;
}
</style>
</head>
<body>
<h1>CoLiS-Language Covering</h1>
<dl>
<dt>Status</dt>
<dd>Exited 0</dd>
<dt>Number of files</dt>
<dd>3</dd>
</dl>
<h2>stdout</h2>
<pre>* Initial state
- id: init-0
root: r₁
cwd: /
clause: dir(r₁)
* Success states
- id: success-1
root: r₃
cwd: /
clause: r₁ = r₃ ∧ dir(r₁)
stdout: |
[UTL] test '' = 'triggered': string are not equal
[UTL] test '' = 'configure': string are not equal
* Summary
- Success cases: 1
- Error cases: 0
- Incomplete symbolic execution: 0
</pre>
<h2>stderr</h2>
<pre></pre>
<h2>Files</h2>
<ul>
<li>/corpus/libvlc-bin_3.0.4-1/postinst</li>
<li>/corpus/qgis-providers_2.18.23+dfsg-1/postinst</li>
<li>/corpus/cracklib-runtime_2.9.2-5.2+b1/postinst</li>
</ul>
</body>
</html>