| 351 | } |
| 352 | |
| 353 | static std::string getCtuInfoFileName(const std::string &dumpFile) |
| 354 | { |
| 355 | return dumpFile.substr(0, dumpFile.size()-4) + "ctu-info"; |
| 356 | } |
| 357 | |
| 358 | static void createDumpFile(const Settings& settings, |
| 359 | const FileWithDetails& file, |
no test coverage detected