Bug#943996: llvm-9 now depends on libz3-4

[Sylvestre Ledru]

Hello,


Le 02/11/2019 à 11:52, Paolo Greppi a écrit :

Package: llvm-9
Version: 1:9.0.0-3
Severity: normal

[...]

This does not seem right.

Why? z3 is a solver used to improve the static analysis results.

I enabled it in 9-3

Cheers,
Sylvestre