Bug#902618: why: autopkgtest failure has no output

[Ralf Treinen <treinen@free.fr>]

Hi,

On Thu, Jun 28, 2018 at 03:13:30PM +0200, Paul Gevers wrote:

> The why source package has an autopkgtest, great. However, with upload
> of why3 version 1.0.0-1 the autopkgtest of why started to fail, delaying
> the migration of why3 to testing by 13 days. I tried to figure out what
> the issue is, but the test suite doesn't log anything at all, making it
> difficult to judge.
> 
> Could you please improve the autopkgtest to produce debugging output?
> Preferably always, but in any case during failure?
> 
> As you are also the maintainer of why3, please figure out where this
> regression should be fixed.

this is a bug of why which needs to be ported to upstream to produce
the new syntaxe of the WhyML language that was introduced with why3
version 1.0.0.

-Ralf.