[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#902308: why3: autopkgtest depends on cvc3 which is not available in buster



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.

Paul

¹
https://salsa.debian.org/ci-team/autopkgtest/commit/fb23dd0aee83b16473672c3616614a146ed291ed

Attachment: signature.asc
Description: OpenPGP digital signature


Reply to: