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