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

[Ralf Treinen <treinen@free.fr>]

Hi Paul,

On Sun, Jun 24, 2018 at 09:45:45PM +0200, 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?

thanks, I wasn't aware of this. Bug #873975 has a patch that solves
that particular problem, but then compilation fails in the tests (#902386)
and I cannot judge whether this is something serious or whether we can
just disable the test.

Anyway, the package seems unmaintained (last maintainer upload in 2014).
I'll disable the test in why3 in case cvc3 is not available.

Cheers -Ralf.