Source: frama-c
Version: 20220511-manganese-3
Severity: serious
User: debian...@lists.debian.org
Usertags: regression

Dear maintainer(s),

Your package has an autopkgtest, great. However, it started to fail everywhere except on armel recently (February/March 2023). Can you please investigate the situation and fix it? I copied some of the output at the bottom of this report.

The release team has announced [1] that failing autopkgtest on amd64 and arm64 are considered RC in testing.

More information about this bug and the reason for filing it can be found on https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation

Paul

[1] https://lists.debian.org/debian-devel-announce/2019/07/msg00002.html

https://ci.debian.net/data/autopkgtest/testing/amd64/f/frama-c/32265125/log.gz

autopkgtest [06:15:54]: test eva: [-----------------------
[kernel] User Error: cannot load plug-in 'why3': cannot load module
  Details: implementation mismatch on Dynlink
[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module
  Details: no implementation available for Why3
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
autopkgtest [06:15:54]: test eva: -----------------------]

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to