Method log_append

library/src/system/util/utilities.hpp:40–40

Logging: a very simple append-only buffer; callers can flush and clear.

  // Logging: a very simple append-only buffer; callers can flush and clear.
  void log_append(const std::string& s) { log_.push_back(s); }
  const std::vector<std::string>& log_buffer() const { return log_; }
  size_t log_size() const { return log_.size(); }
  bool log_contains(const std::string& prefix) const {