Bug#982148: frama-c: autopkgtest failure: nothing logged

2021-02-12 Thread Gianfranco Costamagna
control: tags -1 patch pending I'm uploading to let the package transition to testing. G.

Bug#982148: frama-c: autopkgtest failure: nothing logged

2021-02-11 Thread Gianfranco Costamagna
control: tags -1 patch Hello, I see two errors: 1) the "set -e" makes the script return on first error, so you can't see in the test why it failed 2) there a missing libwhy3-ocaml-dev dependency triggering the error diff -Nru frama-c-20201209+titanium/debian/changelog

Bug#982148: frama-c: autopkgtest failure: nothing logged

2021-02-06 Thread Paul Gevers
Source: frama-c Version: 20201209+titanium-4 X-Debbugs-CC: debian...@lists.debian.org Severity: serious User: debian...@lists.debian.org Usertags: fails-always Dear maintainer(s), You recently added an autopkgtest to your package frama-c, great. However, it fails. Currently this failure is