Method pushScopedMessage

Bcore/src/main/cpp/Dobby/tests/catch.hpp:8667–8669

}

void RunContext::pushScopedMessage(MessageInfo const &message) {
  m_messages.push_back(message);
}

void RunContext::popScopedMessage(MessageInfo const &message) {
  m_messages.erase(std::remove(m_messages.begin(), m_messages.end(), message), m_messages.end());