// File: /workspace/github_cpp_makefile_star2_O3/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::BriefUnitTestResultPrinter::OnTestIterationEnd(testing::UnitTest const&, int)
void BriefUnitTestResultPrinter::OnTestIterationEnd(const UnitTest& unit_test,
                                                    int /*iteration*/) {
  ColoredPrintf(GTestColor::kGreen, "[==========] ");
  printf("%s from %s ran.",
         FormatTestCount(unit_test.test_to_run_count()).c_str(),
         FormatTestSuiteCount(unit_test.test_suite_to_run_count()).c_str());
  if (GTEST_FLAG_GET(print_time)) {
    printf(" (%s ms total)",
           internal::StreamableToString(unit_test.elapsed_time()).c_str());
  }
  printf("\n");
  ColoredPrintf(GTestColor::kGreen, "[  PASSED  ] ");
  printf("%s.\n", FormatTestCount(unit_test.successful_test_count()).c_str());

  const int skipped_test_count = unit_test.skipped_test_count();
  if (skipped_test_count > 0) {
    ColoredPrintf(GTestColor::kGreen, "[  SKIPPED ] ");
    printf("%s.\n", FormatTestCount(skipped_test_count).c_str());
  }

  int num_disabled = unit_test.reportable_disabled_test_count();
  if (num_disabled && !GTEST_FLAG_GET(also_run_disabled_tests)) {
    if (unit_test.Passed()) {
      printf("\n");  // Add a spacer if no FAILURE banner is displayed.
    }
    ColoredPrintf(GTestColor::kYellow, "  YOU HAVE %d DISABLED %s\n\n",
                  num_disabled, num_disabled == 1 ? "TEST" : "TESTS");
  }
  // Ensure that Google Test output is printed before, e.g., heapchecker output.
  fflush(stdout);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rsi, %rbx
leaq 0x1eb5e(%rip), %rsi     # 0x721ce
xorl %ebp, %ebp
movl $0x2, %edi
xorl %eax, %eax
callq 0x520fb
movq 0x40(%rbx), %rdi
callq 0x4c980
leaq 0x1db3f(%rip), %rdx     # 0x711cd
leaq 0x1df33(%rip), %rcx     # 0x715c8
leaq 0x8(%rsp), %rdi
movl %eax, %esi
callq 0x52884
movq 0x40(%rbx), %rcx
movq 0xb8(%rcx), %rax
movq 0xc0(%rcx), %rcx
cmpq %rcx, %rax
je 0x536cc
xorl %ebp, %ebp
movq (%rax), %rdx
movzbl 0x70(%rdx), %edx
addl %edx, %ebp
addq $0x8, %rax
cmpq %rcx, %rax
jne 0x536ba
movq 0x8(%rsp), %r14
leaq 0x1fad5(%rip), %rdx     # 0x731ad
leaq 0x1fad9(%rip), %rcx     # 0x731b8
leaq 0x28(%rsp), %rdi
movl %ebp, %esi
callq 0x52884
leaq 0x38(%rsp), %r15
movq -0x10(%r15), %rdx
leaq 0x1ec0a(%rip), %rdi     # 0x72305
movq %r14, %rsi
xorl %eax, %eax
callq 0xd080
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x5371b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x18(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x53736
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
cmpb $0x1, 0x411e4(%rip)     # 0x94921
jne 0x53785
movq 0x40(%rbx), %rax
movq 0x230(%rax), %rax
leaq 0x28(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x64392
movq (%r14), %rsi
leaq 0x1ebac(%rip), %rdi     # 0x72315
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x53785
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movl $0xa, %edi
callq 0xd830
leaq 0x1eb8e(%rip), %rsi     # 0x72324
movl $0x2, %edi
xorl %eax, %eax
callq 0x520fb
movq 0x40(%rbx), %rdi
callq 0x4c57a
leaq 0x1da1b(%rip), %rdx     # 0x711cd
leaq 0x1de0f(%rip), %rcx     # 0x715c8
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movl %eax, %esi
callq 0x52884
movq (%r14), %rsi
leaq 0x1e9c2(%rip), %rdi     # 0x72194
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x537ee
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rbx), %rdi
callq 0x4c600
testl %eax, %eax
jle 0x53853
movl %eax, %ebp
leaq 0x1ea41(%rip), %rsi     # 0x72245
movl $0x2, %edi
xorl %eax, %eax
callq 0x520fb
leaq 0x1d9b6(%rip), %rdx     # 0x711cd
leaq 0x1ddaa(%rip), %rcx     # 0x715c8
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movl %ebp, %esi
callq 0x52884
movq (%r14), %rsi
leaq 0x1e95d(%rip), %rdi     # 0x72194
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x53853
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rbx), %r14
movq %r14, %rdi
callq 0x4c740
testl %eax, %eax
je 0x538ae
cmpb $0x0, 0x41049(%rip)     # 0x948b3
jne 0x538ae
movl %eax, %ebx
movq %r14, %rdi
callq 0x643fc
testb %al, %al
je 0x53884
movl $0xa, %edi
callq 0xd830
cmpl $0x1, %ebx
leaq 0x1ea21(%rip), %rax     # 0x722af
leaq 0x1ea1f(%rip), %rcx     # 0x722b4
cmoveq %rax, %rcx
leaq 0x1ea92(%rip), %rsi     # 0x72332
movl $0x3, %edi
movl %ebx, %edx
xorl %eax, %eax
callq 0x520fb
movq 0x406bb(%rip), %rax     # 0x93f70
movq (%rax), %rdi
callq 0xd650
addq $0x48, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x538e6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70