Bug#970510: why3: does not work with current version of cvc4

2020-09-23 Thread Ralf Treinen
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 >

Bug#970510: why3: does not work with current version of cvc4

2020-09-23 Thread Fabian Wolff
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

Bug#970510: why3: does not work with current version of cvc4

2020-09-17 Thread Fabian Wolff
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