WORK/rerun/reproducibility/search/tools/drat_check.c:131:70: warning: while loop has empty body [-Wempty-body]
  131 |         if (ch == 'c') { while ((ch = fgetc(f)) != EOF && ch != '\n'); continue; }
      |                                                                      ^
WORK/rerun/reproducibility/search/tools/drat_check.c:131:70: note: put the semicolon on a separate line to silence this warning
WORK/rerun/reproducibility/search/tools/drat_check.c:132:70: warning: while loop has empty body [-Wempty-body]
  132 |         if (ch == 'p') { while ((ch = fgetc(f)) != EOF && ch != '\n'); continue; }
      |                                                                      ^
WORK/rerun/reproducibility/search/tools/drat_check.c:132:70: note: put the semicolon on a separate line to silence this warning
2 warnings generated.
IDENTICAL  verify_example7.py
IDENTICAL  verify_orientable10.py
IDENTICAL  glue.py
IDENTICAL  glue.py chain7.json
IDENTICAL  example12.py
IDENTICAL  holmes_check.py
IDENTICAL  enumerate7.py 7 5
IDENTICAL  enumerate7.py 8 6
IDENTICAL  enumerate7_triage_encoding.py
IDENTICAL  checker_selftest.py
IDENTICAL  recheck_certs.sh
IDENTICAL  certify_unique7.py
identical: 26 of 26 recorded files
IDENTICAL  indep_check.py
IDENTICAL  check_certificates.py
IDENTICAL  rupcheck_selftest.py rupcheck
IDENTICAL  rupcheck_selftest.py drat_check2
DIFFERENT  rerun_crosscheck.py
6c6
< n 8 D 7 all: UNSAT (2.9s)
---
> n 8 D 7 all: UNSAT (2.6s)
8c8
< n 9 D 8 all: UNSAT (72.9s)
---
> n 9 D 8 all: UNSAT (68.2s)
done
sh rerun_package.sh  $S/rerun $R/outputs/rerun_package  580.03s user 4.62s system 99% cpu 9:49.95 total
