From ca26100d405b7a165673c2a2f53692d35d139862 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Thu, 17 Oct 2019 18:37:13 +0200 Subject: [PATCH] Enable Z3 solver (llvm & clang) to improve the quality of the static analysis results --- debian/changelog | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/debian/changelog b/debian/changelog index 1e776cc6..8dd3ca07 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,15 +1,9 @@ -llvm-toolchain-9 (1:9~svn374633-1~exp1) UNRELEASED; urgency=medium - - * Prepare 9.0.1 - * Enable Z3 solver (llvm & clang) to improve the quality of the static - analysis results - - -- Sylvestre Ledru Sun, 13 Oct 2019 09:04:33 +0200 - llvm-toolchain-9 (1:9-3) unstable; urgency=medium * python-clang-9: missing dependency on libclang-9-dev (Closes: #941890) + * Enable Z3 solver (llvm & clang) to improve the quality of the static + analysis results * Do not fail the test suite on the -lclang-cpp failing I think I need to create a libclang-cpp-dev package to unblock it (but dunno why it works locally)