2022-11-19 02:19:59.915497
ftp://ftp.de.debian.org/debian/pool/main/m/maude/maude_3.2.orig.tar.gz
cppcheck-options: --library=posix --library=gnu  --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=valueFlowBailoutIncompleteVar -D__GNUC__ --platform=unix64 -j4
platform: Linux-5.10.0-19-amd64-x86_64-with-glibc2.31
python: 3.9.2
client-version: 1.3.37
compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110
cppcheck: head 2.9
head-info: 80aa6dc (2022-11-18 19:45:25 +0100)
count: TO! TO!
elapsed-time: 1800.1 1800.1
head-timing-info:

old-timing-info:

head results:
/home/test/cppcheck-donate-cpu-workfolder/temp/Maude-Maude3.2/src/Meta/metaLevel.cc:0:0: error: Internal error: Child process crashed with signal 15 [cppcheckError]

DONE