SMG reports witnesses with incorect function names
I am using CPAchecker from the latest trunk (29645) and smg-ldv configuration without CIL. All necessary files are in the attachment where also there is an incorrect XML file.
The XML file contains strings like:
<data key="enterFunction">xfuncs_printf_abs_paths_trimmed_ildv_realloc_1</data>
But there is no such function in source files, the name is a concatenation of the file name and the function name actually.