2022-06-26 20:01 ftp://ftp.de.debian.org/debian/pool/main/c/coinor-symphony/coinor-symphony_5.6.17+dfsg.orig.tar.xz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j2 platform: Linux-5.4.0-110-generic-x86_64-with-glibc2.29 python: 3.8.10 client-version: 1.3.24 compiler: g++ (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0 cppcheck: head 2.8 head-info: 242afc3 (2022-06-25 21:42:55 +0200) count: TO! TO! elapsed-time: 1805.0 1805.1 head-timing-info: old-timing-info: head results: temp/SYMPHONY-5.6.17/src/Master/master_func.c:0:0: error: Internal error: Child process crashed with signal 15 [cppcheckError] temp/SYMPHONY-5.6.17/src/Master/master.c:0:0: error: Internal error: Child process crashed with signal 15 [cppcheckError] DONE