Bug#902308: why3: autopkgtest depends on cvc3 which is not available in buster
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.
Reply to: