* @brief Save the events recorded so far to the given file * * If the file cannot be written, an exception is thrown */
| 511 | * If the file cannot be written, an exception is thrown |
| 512 | */ |
| 513 | void save () |
| 514 | { |
| 515 | m_events.save (m_log_file); |
| 516 | } |
| 517 | |
| 518 | /** |
| 519 | * @brief The (only) recorder instance |
no test coverage detected