-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgroup-1032228214.html
298 lines (289 loc) · 12.6 KB
/
group-1032228214.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
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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
<!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>219</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 '' = 'purge': 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/xml2rfc_2.9.8-1/postrm</li>
<li>/corpus/nautilus-dropbox_2015.10.28-1/postrm</li>
<li>/corpus/nttcp_1.47-13/postrm</li>
<li>/corpus/caja-dropbox_1.20.0-3/postrm</li>
<li>/corpus/spectemu-common_0.94a-19/postrm</li>
<li>/corpus/pepperflashplugin-nonfree_1.8.3+nmu1/postrm</li>
<li>/corpus/primesense-nite-nonfree_0.1.1/postrm</li>
<li>/corpus/flashplugin-nonfree_1:3.7/postrm</li>
<li>/corpus/libzeroc-ice3.6_3.6.4-1+buster+b2/postrm</li>
<li>/corpus/libzeroc-ice3.7_3.7.1-2/postrm</li>
<li>/corpus/zookeeper_3.4.12-2/postrm</li>
<li>/corpus/ytalk_3.3.0-9+b3/postrm</li>
<li>/corpus/xmlroff_0.6.2-1.3+b1/postrm</li>
<li>/corpus/xserver-xorg-core_2:1.20.1-1/postrm</li>
<li>/corpus/xfonts-utils_1:7.7+6/postrm</li>
<li>/corpus/xapian-omega_1.4.7-1/postrm</li>
<li>/corpus/wifi-radar_2.0.s08+dfsg-2/prerm</li>
<li>/corpus/w3c-sgml-lib_1.3-2/postrm</li>
<li>/corpus/vlock_2.2.2-8/postrm</li>
<li>/corpus/vde2_2.3.2+r586-2.1/postrm</li>
<li>/corpus/userv_1.2.0/postrm</li>
<li>/corpus/odbcinst_2.3.6-0.1/postrm</li>
<li>/corpus/urlview_0.9-21/postrm</li>
<li>/corpus/uruk_20180528-2/postrm</li>
<li>/corpus/ufraw_0.22-3/postrm</li>
<li>/corpus/uanytun_0.3.7-1/postrm</li>
<li>/corpus/udevil_0.4.4-2/postrm</li>
<li>/corpus/tidy-proxy_0.97-4/postrm</li>
<li>/corpus/systune_0.5.7/postrm</li>
<li>/corpus/sysv-rc-conf_0.99-7/postrm</li>
<li>/corpus/bootlogd_2.88dsf-59.10/postrm</li>
<li>/corpus/python-swift_2.17.0-5/postrm</li>
<li>/corpus/sympow-data_2.023.3-1/postrm</li>
<li>/corpus/super_3.30.1-1/postrm</li>
<li>/corpus/stenographer-common_0.0~git20161206.0.66a8e7e-10/postrm</li>
<li>/corpus/squeak-vm_1:4.10.2.2614-6/postrm</li>
<li>/corpus/squidtaild_2.1a6-6/postrm</li>
<li>/corpus/spikeproxy_1.4.8-4.4/postrm</li>
<li>/corpus/smlnj-runtime_110.79-4/postrm</li>
<li>/corpus/libphp-simplepie_1.3.1+dfsg-3.1/postrm</li>
<li>/corpus/simplesamlphp_1.15.4-1/postrm</li>
<li>/corpus/shoogle_0.1.4-6.1/postrm</li>
<li>/corpus/shotwell_0.28.4-1+b1/postrm</li>
<li>/corpus/sicherboot_0.1.5/postrm</li>
<li>/corpus/sgml-base_1.29/postrm</li>
<li>/corpus/sgml2x_1.0.0-11.4/postrm</li>
<li>/corpus/scsitools_0.12-3/postrm</li>
<li>/corpus/scm_5f2-2+b1/postrm</li>
<li>/corpus/scanlogd_2.2.5-3.3/postrm</li>
<li>/corpus/libsane-common_1.0.25-4.1/postrm</li>
<li>/corpus/s5_1.1.dfsg.2-7/postrm</li>
<li>/corpus/rush_1.8+dfsg-1.1/postrm</li>
<li>/corpus/rpm_4.14.1+dfsg1-4/postrm</li>
<li>/corpus/rsbackup_5.0-2/postrm</li>
<li>/corpus/registration-agent_1.3.4-1/postrm</li>
<li>/corpus/readline-common_7.0-5/postrm</li>
<li>/corpus/reconf-inetd_1.120603/postrm</li>
<li>/corpus/ramond_0.5-4/postrm</li>
<li>/corpus/rarian-compat_0.8.1-6+b1/postrm</li>
<li>/corpus/idle-python3.5_3.5.6-1/postrm</li>
<li>/corpus/libpython3.5-minimal_3.5.6-1/postrm</li>
<li>/corpus/python3.5-venv_3.5.6-1/postrm</li>
<li>/corpus/idle-python3.6_3.6.6-3/postrm</li>
<li>/corpus/libpython3.6-minimal_3.6.6-3/postrm</li>
<li>/corpus/python3.6-venv_3.6.6-3/postrm</li>
<li>/corpus/idle-python3.7_3.7.0-6/postrm</li>
<li>/corpus/libpython3.7-minimal_3.7.0-6/postrm</li>
<li>/corpus/python3.7-venv_3.7.0-6/postrm</li>
<li>/corpus/idle-python2.7_2.7.15-4/postrm</li>
<li>/corpus/python3_3.6.6-1/postrm</li>
<li>/corpus/python-instagram_1.3.2+git20160108~dfeebe9-4/postrm</li>
<li>/corpus/python3-instagram_1.3.2+git20160108~dfeebe9-4/postrm</li>
<li>/corpus/python_2.7.15-3/postrm</li>
<li>/corpus/pylint_1.9.2-1/postrm</li>
<li>/corpus/pwrkap_7.30-5/postrm</li>
<li>/corpus/postgresql-client-common_193/postrm</li>
<li>/corpus/postfix-gld_1.7-8/postrm</li>
<li>/corpus/piuparts-slave_0.90/postrm</li>
<li>/corpus/pinball_0.3.1-14/postrm</li>
<li>/corpus/pdns-backend-bind_4.1.4-1/postrm</li>
<li>/corpus/pcp-manager_4.1.2-1/postrm</li>
<li>/corpus/pcp-webapi_4.1.2-1/postrm</li>
<li>/corpus/pacemaker-common_1.1.18-2/postrm</li>
<li>/corpus/oss-compat_7/postrm</li>
<li>/corpus/openstack-tempest-ci_0.22/postrm</li>
<li>/corpus/openssh-client_1:7.8p1-1/postrm</li>
<li>/corpus/opennebula-common_4.12.3+dfsg-3.1/postrm</li>
<li>/corpus/openrc_0.34-3/postrm</li>
<li>/corpus/openrocket_15.03.2/postrm</li>
<li>/corpus/libopenhpi3_3.8.0-1/postrm</li>
<li>/corpus/openjade_1.4devel1-21.3+b1/postrm</li>
<li>/corpus/openjdk-10-jre-headless_10.0.2+13-1/postrm</li>
<li>/corpus/openjdk-11-jre-headless_11~27-1/postrm</li>
<li>/corpus/openjdk-8-jre-headless_8u181-b13-1/postrm</li>
<li>/corpus/openafs-dbserver_1.8.1-1/postrm</li>
<li>/corpus/omega-rpg_1:0.90-pa9-16+b2/postrm</li>
<li>/corpus/python-nwsserver_2.0.0-2/postrm</li>
<li>/corpus/ntpdate_1:4.2.8p12+dfsg-1/postrm</li>
<li>/corpus/libnss-mdns_0.14.1-1/postrm</li>
<li>/corpus/libngraph0_6.07.06-1/postrm</li>
<li>/corpus/libsnmp-base_5.7.3+dfsg-3/postrm</li>
<li>/corpus/nethack-el_1:0.9.5-3/postrm</li>
<li>/corpus/ndiswrapper_1.60-6/postrm</li>
<li>/corpus/nagios-nrpe-plugin_3.2.1-2/postrm</li>
<li>/corpus/nagios-snmp-plugins_2.0.0-1/postrm</li>
<li>/corpus/munin-plugins-openstack_1.20120627-1/postrm</li>
<li>/corpus/munin-plugins-core_2.0.37-2/postrm</li>
<li>/corpus/mongrel2-run_1.12.0-1/postrm</li>
<li>/corpus/monitoring-plugins-basic_2.2-4/postrm</li>
<li>/corpus/monitoring-plugins-standard_2.2-4/postrm</li>
<li>/corpus/mlocate_0.26-2/postrm</li>
<li>/corpus/mgetty-voice_1.1.36-3.1/postrm</li>
<li>/corpus/mgp_1.13a+upstream20090219-8+b1/postrm</li>
<li>/corpus/minicom_2.7.1-1+b1/postrm</li>
<li>/corpus/metacity-common_1:3.30.0-2/postrm</li>
<li>/corpus/mgetty_1.1.36-3.1/postrm</li>
<li>/corpus/lsb-release_9.20170808/postrm</li>
<li>/corpus/lmarbles_1.0.8-0.2/postrm</li>
<li>/corpus/lizardfs-common_3.12.0+dfsg-1/postrm</li>
<li>/corpus/ftpd_0.17-36/postrm</li>
<li>/corpus/ftpd-ssl_0.17.36+0.3-2/postrm</li>
<li>/corpus/libxml-sax-perl_1.00+dfsg-1/postrm</li>
<li>/corpus/libhtml-mason-perl_1:1.58-1/postrm</li>
<li>/corpus/libchado-perl_1.31-4/postrm</li>
<li>/corpus/libcommons-validator-java_1:1.6-2/postrm</li>
<li>/corpus/lbreakout2_2.6.5-1+b2/postrm</li>
<li>/corpus/lavapdu-daemon_0.0.5-1/postrm</li>
<li>/corpus/krb5-sync-plugin_3.1-2/postrm</li>
<li>/corpus/krb5-sync-tools_3.1-2/postrm</li>
<li>/corpus/kobodeluxe_0.5.1-8+b1/postrm</li>
<li>/corpus/kino_1.3.4+dfsg0-1/postrm</li>
<li>/corpus/kinput2-common_3.1-13/postrm</li>
<li>/corpus/jclassinfo_0.19.1-7+b1/postrm</li>
<li>/corpus/java-common_0.68/postrm</li>
<li>/corpus/ircii_20170704-1+b1/postrm</li>
<li>/corpus/isc-dhcp-client_4.3.5-4+b1/postrm</li>
<li>/corpus/installation-report_2.69/postrm</li>
<li>/corpus/ikiwiki-hosting-common_0.20180719-1/postrm</li>
<li>/corpus/ifgate_2.14tx8.10-23.1/postrm</li>
<li>/corpus/ifmail_2.14tx8.10-23.1/prerm</li>
<li>/corpus/icingaweb2-common_2.6.1-1/postrm</li>
<li>/corpus/hylafax-client_3:6.0.6-8/postrm</li>
<li>/corpus/heroes_0.21-17/postrm</li>
<li>/corpus/hoogle_5.0.17.3+dfsg1-3/postrm</li>
<li>/corpus/gup_0.5.15+b1/postrm</li>
<li>/corpus/groonga-munin-plugins_8.0.6-1/postrm</li>
<li>/corpus/groonga-server-common_8.0.6-1/postrm</li>
<li>/corpus/gosa-plugin-gofon_2.7.4+reloaded3-6/postrm</li>
<li>/corpus/gnome-gmail_2.5.4-3/postrm</li>
<li>/corpus/gnome-initial-setup_3.28.0-2/postrm</li>
<li>/corpus/global_6.6.2-3/postrm</li>
<li>/corpus/gwtp_6.08+git20180420+dfsg-2/postrm</li>
<li>/corpus/geda-symbols_1:1.8.2-11/postrm</li>
<li>/corpus/gconf2-common_3.2.6-5/postrm</li>
<li>/corpus/gcstar_1.7.1+repack-2/postrm</li>
<li>/corpus/freeradius-config_3.0.16+dfsg-3+b1/postrm</li>
<li>/corpus/freeradius-dhcp_3.0.16+dfsg-3+b1/postrm</li>
<li>/corpus/freesweep_1.0.1-1/postrm</li>
<li>/corpus/freetds-common_1.00.82-2/postrm</li>
<li>/corpus/freeipa-client_4.6.3-1.1/postrm</li>
<li>/corpus/fontconfig_2.13.0-5/postrm</li>
<li>/corpus/fishpolld_0.1.7-1/postrm</li>
<li>/corpus/locate_4.6.0+git+20180808-2/postrm</li>
<li>/corpus/fastforward_1:0.51-3.2/postrm</li>
<li>/corpus/fai-client_5.7/postrm</li>
<li>/corpus/emacsen-common_3.0.2/postrm</li>
<li>/corpus/elida_0.4+nmu1/postrm</li>
<li>/corpus/efingerd_1.6.5+b1/postrm</li>
<li>/corpus/w3c-xsd-xslt_3.6.3-3/postrm</li>
<li>/corpus/dsh_0.25.10-1.3/postrm</li>
<li>/corpus/dracut-core_048+80-1/postrm</li>
<li>/corpus/drbdlinks_1.22-1/postrm</li>
<li>/corpus/pki-tks_10.6.6-2/postrm</li>
<li>/corpus/pki-tps_10.6.6-2/postrm</li>
<li>/corpus/dovecot-ldap_1:2.3.2.1-1/postrm</li>
<li>/corpus/dovecot-sieve_1:2.3.2.1-1/postrm</li>
<li>/corpus/docbook-xsl_1.79.1+dfsg-2/postrm</li>
<li>/corpus/docbook-xsl-ns_1.79.1+dfsg-2/postrm</li>
<li>/corpus/docbook2x_0.8.8-17/postrm</li>
<li>/corpus/docbook5-xml_5.0-2/postrm</li>
<li>/corpus/pki-base_10.6.6-2/postrm</li>
<li>/corpus/pki-ca_10.6.6-2/postrm</li>
<li>/corpus/pki-kra_10.6.6-2/postrm</li>
<li>/corpus/pki-ocsp_10.6.6-2/postrm</li>
<li>/corpus/docbook_4.5-6/postrm</li>
<li>/corpus/docbook-dsssl_1.79-9.1/postrm</li>
<li>/corpus/docbook-html-forms_1.1.0-5/postrm</li>
<li>/corpus/dlocate_1.07+nmu1/postrm</li>
<li>/corpus/dizzy_0.3-3/postrm</li>
<li>/corpus/diffmon_20020222-2.6/postrm</li>
<li>/corpus/dia-common_0.97.3+git20160930-8/postrm</li>
<li>/corpus/debtree_1.0.10+nmu1/postrm</li>
<li>/corpus/debiandoc-sgml_1.2.32-2/postrm</li>
<li>/corpus/debfoster_2.7-2.1+b1/postrm</li>
<li>/corpus/dblatex_0.3.10-2/postrm</li>
<li>/corpus/dcmtk_3.6.2-3+b1/postrm</li>
<li>/corpus/libcupt4-2_2.10.2/postrm</li>
<li>/corpus/crawl-common_2:0.22.0+dfsg1-1/postrm</li>
<li>/corpus/cracklib-runtime_2.9.2-5.2+b1/postrm</li>
<li>/corpus/courier-faxmail_0.78.0-2+b1/postrm</li>
<li>/corpus/courier-authlib-ldap_0.68.0-4+b1/postrm</li>
<li>/corpus/courier-authlib-mysql_0.68.0-4+b1/postrm</li>
<li>/corpus/courier-authlib-postgresql_0.68.0-4+b1/postrm</li>
<li>/corpus/courier-filter-perl_0.200+ds-4/postrm</li>
<li>/corpus/command-not-found_0.2.38-4/postrm</li>
<li>/corpus/clamav-unofficial-sigs_3.7.2-2/postrm</li>
<li>/corpus/cereal_0.24-1/postrm</li>
<li>/corpus/calife_1:3.0.1-5/postrm</li>
<li>/corpus/blueman_2.0.6-1/postrm</li>
<li>/corpus/bareos-traymonitor_16.2.6-4/postrm</li>
<li>/corpus/bareos-common_16.2.6-4/postrm</li>
<li>/corpus/bareos-bat_16.2.6-4/postrm</li>
<li>/corpus/bareos-bconsole_16.2.6-4/postrm</li>
<li>/corpus/authbind_2.1.2/postrm</li>
<li>/corpus/appstream_0.12.2-2/postrm</li>
<li>/corpus/apsfilter_7.2.6-1.3/postrm</li>
<li>/corpus/apt-mirror_0.5.4-1/postrm</li>
<li>/corpus/air-quality-sensor_0.1.4.2-1/postrm</li>
<li>/corpus/amavisd-milter_1.5.0-5/postrm</li>
</ul>
</body>
</html>