Your message dated Sun, 30 Sep 2018 15:34:28 +0000
with message-id <e1g6djo-000dhz...@fasolo.debian.org>
and subject line Bug#909932: fixed in cbmc 5.10-2
has caused the Debian Bug report #909932,
regarding cbmc FTBFS: test failures on !x86
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
909932: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909932
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: cbmc
Version: 5.10-1
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/package.php?p=cbmc&suite=sid
...
[31mTests failed[0m
2 of 164 tests failed, 10 tests skipped
Failed test: gcc_float_types1
main.c: In function '__float80':
main.c:8:1: error: syntax error before `f80'
PARSING ERROR
EXIT=1
SIGNAL=0
Failed test.desc lines:
^EXIT=0$ [FAILED]
Failed test: gcc_types_compatible_p1
main.c:108:1: error: syntax error before `__float80'
PARSING ERROR
EXIT=1
SIGNAL=0
Failed test.desc lines:
^EXIT=0$ [FAILED]
make[4]: *** [Makefile:13: test] Error 2
The gcc documentation says:
* '__float80' is available on the i386, x86_64, and IA-64 targets,
and supports the 80-bit ('XFmode') floating type. It is an alias
for the type name '_Float64x' on these targets.
Note that the build successes on some non-x86 non-release
architectures are build with nocheck.
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 5.10-2
We believe that the bug you reported is fixed in the latest version of
cbmc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 909...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated cbmc package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 30 Sep 2018 15:08:10 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.10-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 909932
Changes:
cbmc (5.10-2) unstable; urgency=low
.
* Fix regression tests using __float80, which is x86 only (Closes: #909932)
Checksums-Sha1:
0ce10d1e4f38b1594eb9b7b6aae83841b315cafb 2169 cbmc_5.10-2.dsc
8c02bedd088e0c02deb6dda438658465214b5ffa 11980 cbmc_5.10-2.debian.tar.xz
Checksums-Sha256:
918f6e9e058aa2497e5bac381a410d6a3644e1bd55f9d39a1f7c56d5eb17f4b7 2169
cbmc_5.10-2.dsc
8ce4c5dc988c826145e464b54e2e548ca8395fd459515b0762250527d1888b21 11980
cbmc_5.10-2.debian.tar.xz
Files:
705af377bc54b59293c65349f5dfc4f5 2169 science optional cbmc_5.10-2.dsc
889286e2f4be22af14603159bddeda59 11980 science optional
cbmc_5.10-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAluw6OYOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHUaQ//ZvUsfeZ7aDI0OeY+ztzBvNeGWVP1WeXeL6SH
Jdtc2O5fjr5FKbpLVnIBTQw6CojiyZygoJZ0drMjmQmOvfn/E37cdQar75GKSrKA
BpfS5IdNCMzDiJMSh5TkofYOwS6sK8KtM53kTDOiiF7M8ZescyT/Ei+vb0lArMpl
q/4A8VNa0LEYiZBDXvlOrIlSM1tZ4R7CEtmVc1bdPstlVX1JtECsQqoxZDmAa+57
//33SOhsTAGt81Tw/OrUzLREjbUc3s2M5SJhyVEAuxL3m5UHaWj6VwXO+VQ/AkSg
mthujttLE9EsReRE8NXWbNttAcES0Wmoqo9oumzTPA0/1yDmUpV0Wqi9wBtL9Geo
q1/+YKLXyf0Sx5eIrxOnHHOkJj6rugBpTOYN8FgeE10NC0CA2Ys7vDQ9z12ydH7x
2fEvwIus5oy2JPBQr4Ug8TnLtUFc7H6BKQ0qF+GjpMALnTsXLZWrzNxNYj+H+cJe
6vQRf7IWdYi6+h9yKIbRNLh1L5OmESnUgQfSEJKvbUMva0qlWuDIa44iuCL8p1SZ
aTh/PKJC6cCLclTGjUgFGDTeuB/20Xgb0mAps04UCg9+ELWF8g2Q5vQzOV9uVjxM
Xzik5zml0qxXjhFvZNaHgQLBp0irz7nBIuHTSm190dqyk9kxV8LZxbrso6TvmbxV
HVj5xU4=
=WVh2
-----END PGP SIGNATURE-----
--- End Message ---
