Method finalize

crates/ffi/src/kernel.rs:164–172

Append the trailing `# total failures: N` summary. Called once after all per-constant checks have reported.

(&self)

  /// Append the trailing `# total failures: N` summary. Called once after
  /// all per-constant checks have reported.
  fn finalize(&self) {
    let mut file = self.writer.lock().unwrap();
    let _ = writeln!(
      file,
      "# total failures: {}",
      self.count.load(Ordering::Relaxed)
    );
    let _ = file.flush();
  }

  fn count(&self) -> usize {
    self.count.load(Ordering::Relaxed)