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: -----------------------]
OpenPGP_signature
Description: OpenPGP digital signature
