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.
