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