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

Sylvestre Ledru sylvestre at debian.org
Sat Nov 2 10:59:09 GMT 2019


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


More information about the Pkg-llvm-team mailing list