[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 Ralf,

On 25-06-18 21:26, Ralf Treinen wrote:
> 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?

I want to upload soon. I'll ask the question on IRC if anybody objects.

You could just go ahead now, until autopkgtest supports this, the test
will just be skipped (which for a couple of days/weeks isn't that bad).

Paul

Attachment: signature.asc
Description: OpenPGP digital signature


Reply to: