| 5624 | } |
| 5625 | |
| 5626 | void log_message(const MessageData& mb) override { |
| 5627 | DOCTEST_LOCK_MUTEX(mutex) |
| 5628 | |
| 5629 | xml.startElement("Message") |
| 5630 | .writeAttribute("type", failureString(mb.m_severity)) |
| 5631 | .writeAttribute("filename", skipPathFromFilename(mb.m_file)) |
| 5632 | .writeAttribute("line", line(mb.m_line)); |
| 5633 | |
| 5634 | xml.scopedElement("Text").writeText(mb.m_string.c_str()); |
| 5635 | |
| 5636 | log_contexts(); |
| 5637 | |
| 5638 | xml.endElement(); |
| 5639 | } |
| 5640 | |
| 5641 | void test_case_skipped(const TestCaseData& in) override { |
| 5642 | if(opt.no_skipped_summary == false) { |
nothing calls this directly
no test coverage detected