Hello,
On Wed, Sep 23, 2020 at 02:04:24PM +0200, Fabian Wolff wrote:
> And while we're at it, even though this is technically an unrelated
> problem, it also has something to do with SMT solver versions: In the
> autopkgtests control file [0], you have the following code:
>
> Tests: why3+z3
>
And while we're at it, even though this is technically an unrelated
problem, it also has something to do with SMT solver versions: In the
autopkgtests control file [0], you have the following code:
Tests: why3+z3
Depends:why3, z3 (<< 4.8.7)
Restrictions: skip-not-installable
This is not a b
Package: why3
Severity: important
Dear maintainer,
this seems to be the same issue as #942344, just this time it's cvc4
instead of z3: share/provers-detection-data.conf lists CVC4 versions
up to 1.7, but the current version is 1.8, so the autopkgtests for
why3 fail.
Best regards,
Fabian
3 matches
Mail list logo