// File: /workspace/github_cpp_makefile_star2_O1/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 0x1f1d8(%rip), %rsi     # 0x741be
xorl %ebp, %ebp
movl $0x2, %edi
xorl %eax, %eax
callq 0x539c2
movq 0x40(%rbx), %rdi
callq 0x4e1de
leaq 0x1e1b9(%rip), %rdx     # 0x731bd
leaq 0x1e5ad(%rip), %rcx     # 0x735b8
leaq 0x8(%rsp), %rdi
movl %eax, %esi
callq 0x541f0
movq 0x40(%rbx), %rcx
movq 0xb8(%rcx), %rax
movq 0xc0(%rcx), %rcx
cmpq %rcx, %rax
je 0x55042
xorl %ebp, %ebp
movq (%rax), %rdx
movzbl 0x70(%rdx), %edx
addl %edx, %ebp
addq $0x8, %rax
cmpq %rcx, %rax
jne 0x55030
movq 0x8(%rsp), %r14
leaq 0x2014f(%rip), %rdx     # 0x7519d
leaq 0x20153(%rip), %rcx     # 0x751a8
leaq 0x28(%rsp), %rdi
movl %ebp, %esi
callq 0x541f0
leaq 0x38(%rsp), %r15
movq -0x10(%r15), %rdx
leaq 0x1f284(%rip), %rdi     # 0x742f5
movq %r14, %rsi
xorl %eax, %eax
callq 0xd080
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x55091
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x18(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x550ac
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
cmpb $0x1, 0x4186e(%rip)     # 0x96921
jne 0x550fb
movq 0x40(%rbx), %rax
movq 0x230(%rax), %rax
leaq 0x28(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x65c0e
movq (%r14), %rsi
leaq 0x1f226(%rip), %rdi     # 0x74305
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x550fb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movl $0xa, %edi
callq 0xd830
leaq 0x1f208(%rip), %rsi     # 0x74314
movl $0x2, %edi
xorl %eax, %eax
callq 0x539c2
movq 0x40(%rbx), %rdi
callq 0x4dde4
leaq 0x1e095(%rip), %rdx     # 0x731bd
leaq 0x1e489(%rip), %rcx     # 0x735b8
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movl %eax, %esi
callq 0x541f0
movq (%r14), %rsi
leaq 0x1f03c(%rip), %rdi     # 0x74184
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x55164
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rbx), %rdi
callq 0x4de6a
testl %eax, %eax
jle 0x551c9
movl %eax, %ebp
leaq 0x1f0bb(%rip), %rsi     # 0x74235
movl $0x2, %edi
xorl %eax, %eax
callq 0x539c2
leaq 0x1e030(%rip), %rdx     # 0x731bd
leaq 0x1e424(%rip), %rcx     # 0x735b8
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movl %ebp, %esi
callq 0x541f0
movq (%r14), %rsi
leaq 0x1efd7(%rip), %rdi     # 0x74184
xorl %eax, %eax
callq 0xd080
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x551c9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rbx), %r14
movq %r14, %rdi
callq 0x4df9e
testl %eax, %eax
je 0x55224
cmpb $0x0, 0x416d3(%rip)     # 0x968b3
jne 0x55224
movl %eax, %ebx
movq %r14, %rdi
callq 0x65c78
testb %al, %al
je 0x551fa
movl $0xa, %edi
callq 0xd830
cmpl $0x1, %ebx
leaq 0x1f09b(%rip), %rax     # 0x7429f
leaq 0x1f099(%rip), %rcx     # 0x742a4
cmoveq %rax, %rcx
leaq 0x1f10c(%rip), %rsi     # 0x74322
movl $0x3, %edi
movl %ebx, %edx
xorl %eax, %eax
callq 0x539c2
movq 0x40d45(%rip), %rax     # 0x95f70
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 0x5525c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70