user: What is the c source code of the assembly code below?

```asm
<cov_check>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x170,%rsp
  mov    %rsi,%r12
  mov    %fs:0x28,%rax
  mov    %rax,0x168(%rsp)
  xor    %eax,%eax
  lea    D25(%rip),%rsi
  call   <fopen@plt>
  mov    %rax,%rbx
  lea    0x20(%rsp),%rbp
L125:
  mov    %rbx,%rdx
  mov    $0x50,%esi
  mov    %rbp,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  je     L77
  cmpb   $0x23,0x20(%rsp)
  je     L125
  lea    0x70(%rsp),%rdi
  mov    %rbp,%rsi
  call   <strcpy@plt>
  jmp    L125
L77:
  mov    %rbx,%rdi
  call   <fclose@plt>
  lea    D25(%rip),%rsi
  mov    %r12,%rdi
  call   <fopen@plt>
  mov    %rax,%rbp
  lea    0x20(%rsp),%rbx
  lea    D37(%rip),%r12
  lea    D48(%rip),%r13
  lea    0x110(%rsp),%r14
  jmp    L128
L78:
  mov    $0x6,%edx
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  je     L38
L128:
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  je     L130
  mov    $0x6,%edx
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L78
  lea    0xc0(%rsp),%rdi
  mov    %rbp,%rdx
  mov    $0x50,%esi
  call   <fgets@plt>
  jmp    L128
L38:
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %r14,%rdi
  call   <fgets@plt>
  jmp    L128
L130:
  mov    %rbp,%rdi
  call   <fclose@plt>
  lea    0x70(%rsp),%rdi
  mov    $0xa,%esi
  call   <cov_deserialize@plt>
  fstpt  (%rsp)
  lea    0xc0(%rsp),%rdi
  mov    $0xa,%esi
  call   <cov_deserialize@plt>
  fstpt  0x10(%rsp)
  lea    0x110(%rsp),%rdi
  mov    $0xa,%esi
  call   <cov_deserialize@plt>
  fldt   0x10(%rsp)
  fldt   (%rsp)
  fcomi  %st(1),%st
  jbe    L62
  fsubp  %st,%st(1)
  fxch   %st(1)
L29:
  fcomip %st(1),%st
  fstp   %st(0)
  jb     L134
  lea    D16(%rip),%rdi
  call   <printf@plt>
L136:
  mov    0x168(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L135
  add    $0x170,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L62:
  fstp   %st(0)
  fstp   %st(0)
  fldt   0x10(%rsp)
  fldt   (%rsp)
  fsubrp %st,%st(1)
  fxch   %st(1)
  jmp    L29
L134:
  lea    D7(%rip),%rdi
  call   <printf@plt>
  jmp    L136
L135:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_label: D25
datatype: string
name: read_data
arguments: data_label: D37
datatype: string
name: read_data
arguments: data_label: D48
datatype: string
name: read_data
arguments: data_label: D16
datatype: string
name: read_data
arguments: data_label: D7
datatype: string

tool: D25: rt

tool: D37: #ideal

tool: D48: #delta

tool: D16: true


tool: D7: false


assistant: ```c
void cov_check(char *log, char *spec) {
  char line[80], estimate_hex[80], ideal_hex[80], delta_hex[80];
  long double estimate, ideal, delta, diff;
  FILE *log_file, *spec_file;
  int ld_size;
  ld_size = 10;
  log_file = fopen(log, "rt");
  while (fgets(line, 80, log_file) != NULL) {
    if (line[0] != '#')
      strcpy(estimate_hex, line);
  }
  fclose(log_file);
  spec_file = fopen(spec, "rt");
  while (fgets(line, 80, spec_file) != NULL) {
    if (strncmp(line, "#ideal", 6) == 0) {
      fgets(ideal_hex, 80, spec_file);
    } else if (strncmp(line, "#delta", 6) == 0) {
      fgets(delta_hex, 80, spec_file);
    }
  }
  fclose(spec_file);
  estimate = cov_deserialize(estimate_hex, ld_size);
  ideal = cov_deserialize(ideal_hex, ld_size);
  delta = cov_deserialize(delta_hex, ld_size);
  if (estimate > ideal)
    diff = estimate - ideal;
  else
    diff = ideal - estimate;
  if (delta >= diff)
    printf("true\n");
  else
    printf("false\n");
}
```