Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
frama-c autopkgtest failing
From
julien.puydt@gmail.com
@21:1/5 to
All
on Fri Jun 24 16:30:02 2022
Hi,
I thought my upload of 20220511-manganese-1.1 fixed the autopkgtest
issues with the package. After all, it just worked here!
But it looks like it's still failing on the Debian autopkgtest
infrastructure:
autopkgtest [21:19:22]: test eva: [-----------------------
[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load
module
Details: error loading shared library: Dynlink error: error loading
shared library: Failure("/usr/lib/frama-c/plugins/top/Wp.cmxs:
undefined symbol: camlWhy3__Whyconf__equal_501")
[kernel] User Error: Deferred error message was emitted during
execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
autopkgtest [21:19:22]: test eva: -----------------------]
autopkgtest [21:19:22]: test eva: - - - - - - - - - - results - - - -
- - - - - -
eva FAIL non-zero exit status 1
and:
autopkgtest [21:19:26]: test wp: [-----------------------
warning: cannot read config file /tmp/autopkgtest- lxc.iexeoadb/downtmp/wp-artifacts/wp/why3.conf:
/tmp/autopkgtest-lxc.iexeoadb/downtmp/wp-artifacts/wp/why3.conf: No
such file or directory
autopkgtest [21:19:27]: test wp: -----------------------]
autopkgtest [21:19:27]: test wp: - - - - - - - - - - results - - - - -
- - - - -
wp FAIL non-zero exit status 1
and I have no clue why!
If someone can have a look... help is welcome.
Cheers,
J.Puydt
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
307
Nodes:
16 (
2
/
14
)
Uptime:
67:13:16
Calls:
6,915
Files:
12,379
Messages:
5,431,811