// File: /workspace/github_c_makefile_star2_O0/deplinenoise[P]tundra/unittest/googletest/googletest/src/gtest.cc
// Function: testing::internal::XmlUnitTestResultPrinter::PrintXmlTestCase(std::ostream*, testing::TestCase const&)
void XmlUnitTestResultPrinter::PrintXmlTestCase(std::ostream* stream,
                                                const TestCase& test_case) {
  const std::string kTestsuite = "testsuite";
  *stream << "  <" << kTestsuite;
  OutputXmlAttribute(stream, kTestsuite, "name", test_case.name());
  OutputXmlAttribute(stream, kTestsuite, "tests",
                     StreamableToString(test_case.reportable_test_count()));
  OutputXmlAttribute(stream, kTestsuite, "failures",
                     StreamableToString(test_case.failed_test_count()));
  OutputXmlAttribute(
      stream, kTestsuite, "disabled",
      StreamableToString(test_case.reportable_disabled_test_count()));
  OutputXmlAttribute(stream, kTestsuite, "errors", "0");
  OutputXmlAttribute(stream, kTestsuite, "time",
                     FormatTimeInMillisAsSeconds(test_case.elapsed_time()));
  *stream << TestPropertiesAsXmlAttributes(test_case.ad_hoc_test_result())
          << ">\n";

  for (int i = 0; i < test_case.total_test_count(); ++i) {
    if (test_case.GetTestInfo(i)->is_reportable())
      OutputXmlTestInfo(stream, test_case.name(), *test_case.GetTestInfo(i));
  }
  *stream << "  </" << kTestsuite << ">\n";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x350, %rsp            # imm = 0x350
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0x250(%rbp)
callq 0xee90
movq -0x250(%rbp), %rdx
leaq 0x679f8(%rip), %rsi     # 0x8b019
leaq -0x30(%rbp), %rdi
callq 0x30890
jmp 0x2362c
leaq -0x31(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rdi
leaq 0x679e3(%rip), %rsi     # 0x8b023
callq 0xe750
movq %rax, -0x258(%rbp)
jmp 0x2364e
movq -0x258(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xe660
jmp 0x23660
movq -0x8(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq -0x69(%rbp), %rdi
movq %rdi, -0x260(%rbp)
callq 0xee90
movq -0x260(%rbp), %rdx
leaq 0x6bd05(%rip), %rsi     # 0x8f38e
leaq -0x68(%rbp), %rdi
callq 0x30890
jmp 0x23694
movq -0x10(%rbp), %rdi
callq 0x35110
movq %rax, -0x270(%rbp)
jmp 0x236a6
leaq -0x91(%rbp), %rdi
movq %rdi, -0x278(%rbp)
callq 0xee90
movq -0x270(%rbp), %rsi
movq -0x278(%rbp), %rdx
leaq -0x90(%rbp), %rdi
callq 0x30890
jmp 0x236d5
movq -0x268(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x68(%rbp), %rdx
leaq -0x90(%rbp), %rcx
callq 0x222f0
jmp 0x236f2
leaq -0x90(%rbp), %rdi
callq 0xf058
leaq -0x91(%rbp), %rdi
callq 0xe850
leaq -0x68(%rbp), %rdi
callq 0xf058
leaq -0x69(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x288(%rbp)
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x280(%rbp)
callq 0xee90
movq -0x280(%rbp), %rdx
leaq 0x66d2a(%rip), %rsi     # 0x8a472
leaq -0xb8(%rbp), %rdi
callq 0x30890
jmp 0x23756
movq -0x10(%rbp), %rdi
callq 0x169b0
movl %eax, -0x28c(%rbp)
jmp 0x23767
movl -0x28c(%rbp), %eax
movl %eax, -0xe4(%rbp)
leaq -0xe0(%rbp), %rdi
leaq -0xe4(%rbp), %rsi
callq 0x35870
jmp 0x23788
movq -0x288(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0xb8(%rbp), %rdx
leaq -0xe0(%rbp), %rcx
callq 0x222f0
jmp 0x237a8
leaq -0xe0(%rbp), %rdi
callq 0xf058
leaq -0xb8(%rbp), %rdi
callq 0xf058
leaq -0xb9(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x2a0(%rbp)
leaq -0x109(%rbp), %rdi
movq %rdi, -0x298(%rbp)
callq 0xee90
movq -0x298(%rbp), %rdx
leaq 0x66e2f(%rip), %rsi     # 0x8a627
leaq -0x108(%rbp), %rdi
callq 0x30890
jmp 0x23806
movq -0x10(%rbp), %rdi
callq 0x16860
movl %eax, -0x2a4(%rbp)
jmp 0x23817
movl -0x2a4(%rbp), %eax
movl %eax, -0x134(%rbp)
leaq -0x130(%rbp), %rdi
leaq -0x134(%rbp), %rsi
callq 0x35870
jmp 0x23838
movq -0x2a0(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x108(%rbp), %rdx
leaq -0x130(%rbp), %rcx
callq 0x222f0
jmp 0x23858
leaq -0x130(%rbp), %rdi
callq 0xf058
leaq -0x108(%rbp), %rdi
callq 0xf058
leaq -0x109(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x2b8(%rbp)
leaq -0x159(%rbp), %rdi
movq %rdi, -0x2b0(%rbp)
callq 0xee90
movq -0x2b0(%rbp), %rdx
leaq 0x6777f(%rip), %rsi     # 0x8b027
leaq -0x158(%rbp), %rdi
callq 0x30890
jmp 0x238b6
movq -0x10(%rbp), %rdi
callq 0x168d0
movl %eax, -0x2bc(%rbp)
jmp 0x238c7
movl -0x2bc(%rbp), %eax
movl %eax, -0x184(%rbp)
leaq -0x180(%rbp), %rdi
leaq -0x184(%rbp), %rsi
callq 0x35870
jmp 0x238e8
movq -0x2b8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x158(%rbp), %rdx
leaq -0x180(%rbp), %rcx
callq 0x222f0
jmp 0x23908
leaq -0x180(%rbp), %rdi
callq 0xf058
leaq -0x158(%rbp), %rdi
callq 0xf058
leaq -0x159(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x2d0(%rbp)
leaq -0x1a9(%rbp), %rdi
movq %rdi, -0x2c8(%rbp)
callq 0xee90
movq -0x2c8(%rbp), %rdx
leaq 0x676d8(%rip), %rsi     # 0x8b030
leaq -0x1a8(%rbp), %rdi
callq 0x30890
jmp 0x23966
leaq -0x1d1(%rbp), %rdi
movq %rdi, -0x2d8(%rbp)
callq 0xee90
movq -0x2d8(%rbp), %rdx
leaq 0x68737(%rip), %rsi     # 0x8c0be
leaq -0x1d0(%rbp), %rdi
callq 0x30890
jmp 0x23995
movq -0x2d0(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x1a8(%rbp), %rdx
leaq -0x1d0(%rbp), %rcx
callq 0x222f0
jmp 0x239b5
leaq -0x1d0(%rbp), %rdi
callq 0xf058
leaq -0x1d1(%rbp), %rdi
callq 0xe850
leaq -0x1a8(%rbp), %rdi
callq 0xf058
leaq -0x1a9(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x2e8(%rbp)
leaq -0x1f9(%rbp), %rdi
movq %rdi, -0x2e0(%rbp)
callq 0xee90
movq -0x2e0(%rbp), %rdx
leaq 0x66a9b(%rip), %rsi     # 0x8a4ac
leaq -0x1f8(%rbp), %rdi
callq 0x30890
jmp 0x23a1f
movq -0x10(%rbp), %rdi
callq 0x35290
movq %rax, -0x2f0(%rbp)
jmp 0x23a31
movq -0x2f0(%rbp), %rsi
leaq -0x220(%rbp), %rdi
callq 0x21cd0
jmp 0x23a46
movq -0x2e8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x1f8(%rbp), %rdx
leaq -0x220(%rbp), %rcx
callq 0x222f0
jmp 0x23a66
leaq -0x220(%rbp), %rdi
callq 0xf058
leaq -0x1f8(%rbp), %rdi
callq 0xf058
leaq -0x1f9(%rbp), %rdi
callq 0xe850
movq -0x8(%rbp), %rax
movq %rax, -0x300(%rbp)
movq -0x10(%rbp), %rdi
callq 0x359b0
movq %rax, -0x2f8(%rbp)
jmp 0x23aa7
movq -0x2f8(%rbp), %rsi
leaq -0x240(%rbp), %rdi
callq 0x23210
jmp 0x23abc
movq -0x300(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0xe660
movq %rax, -0x308(%rbp)
jmp 0x23ad8
movq -0x308(%rbp), %rdi
leaq 0x6751f(%rip), %rsi     # 0x8b005
callq 0xe750
jmp 0x23aed
leaq -0x240(%rbp), %rdi
callq 0xf058
movl $0x0, -0x244(%rbp)
movl -0x244(%rbp), %eax
movl %eax, -0x30c(%rbp)
movq -0x10(%rbp), %rdi
callq 0x16a20
movl %eax, %ecx
movl -0x30c(%rbp), %eax
cmpl %ecx, %eax
jge 0x23e1a
movq -0x10(%rbp), %rdi
movl -0x244(%rbp), %esi
callq 0x1e270
movq %rax, -0x318(%rbp)
jmp 0x23b40
movq -0x318(%rbp), %rdi
callq 0x359d0
movb %al, -0x319(%rbp)
jmp 0x23b54
movb -0x319(%rbp), %al
testb $0x1, %al
jne 0x23b63
jmp 0x23e04
movq -0x8(%rbp), %rax
movq %rax, -0x330(%rbp)
movq -0x10(%rbp), %rdi
callq 0x35110
movq %rax, -0x328(%rbp)
jmp 0x23b80
movq -0x10(%rbp), %rdi
movl -0x244(%rbp), %esi
callq 0x1e270
movq %rax, -0x338(%rbp)
jmp 0x23b98
movq -0x338(%rbp), %rdx
movq -0x328(%rbp), %rsi
movq -0x330(%rbp), %rdi
callq 0x22580
jmp 0x23bb4
jmp 0x23e04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x31(%rbp), %rdi
callq 0xe850
jmp 0x23e7c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23c3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23c32
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23c26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x90(%rbp), %rdi
callq 0xf058
leaq -0x91(%rbp), %rdi
callq 0xe850
leaq -0x68(%rbp), %rdi
callq 0xf058
leaq -0x69(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23c89
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23c7d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0xf058
leaq -0xb8(%rbp), %rdi
callq 0xf058
leaq -0xb9(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23cda
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23cce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x130(%rbp), %rdi
callq 0xf058
leaq -0x108(%rbp), %rdi
callq 0xf058
leaq -0x109(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23d2b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23d1f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x180(%rbp), %rdi
callq 0xf058
leaq -0x158(%rbp), %rdi
callq 0xf058
leaq -0x159(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23d88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23d70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0xf058
leaq -0x1d1(%rbp), %rdi
callq 0xe850
leaq -0x1a8(%rbp), %rdi
callq 0xf058
leaq -0x1a9(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23dd9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x23dcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x220(%rbp), %rdi
callq 0xf058
leaq -0x1f8(%rbp), %rdi
callq 0xf058
leaq -0x1f9(%rbp), %rdi
callq 0xe850
jmp 0x23e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x240(%rbp), %rdi
callq 0xf058
jmp 0x23e73
jmp 0x23e06
movl -0x244(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x244(%rbp)
jmp 0x23b03
movq -0x8(%rbp), %rdi
leaq 0x67212(%rip), %rsi     # 0x8b037
callq 0xe750
movq %rax, -0x340(%rbp)
jmp 0x23e33
movq -0x340(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xe660
movq %rax, -0x348(%rbp)
jmp 0x23e4c
movq -0x348(%rbp), %rdi
leaq 0x671ab(%rip), %rsi     # 0x8b005
callq 0xe750
jmp 0x23e61
leaq -0x30(%rbp), %rdi
callq 0xf058
addq $0x350, %rsp            # imm = 0x350
popq %rbp
retq
leaq -0x30(%rbp), %rdi
callq 0xf058
movq -0x40(%rbp), %rdi
callq 0xee80
nopw %cs:(%rax,%rax)