On Sun, Jun 24, 2018 at 09:52:06PM +0200, Paul Gevers wrote: > Hi > > On 24-06-18 21:45, Paul Gevers wrote: > > cvc3 isn't in testing due to a nearly year old bug 873975 which has a > > proposed solution. Could you either help the maintainer to get cvc3 back > > into testing, or otherwise drop your test that depends on it? > > I forgot to mention one alternative. In the near future, autopkgtest > will be enhanced with a "flaky" restriction¹. You could set that > restriction to the test, such that it is tested when cvc3 is available, > but failure will not cause the whole test suite to fail.
Excellent, that will also be useful for other cases. When can we expect this to be available in sid? -Ralf.
