Method makeStart

gecode/search/cpprofiler/message.hpp:306–311

    }
    
    void makeStart(const std::string& info) {
      msg.reset();
      msg.set_type(MsgType::START);
      msg.set_version(PROFILER_PROTOCOL_VERSION);
      msg.set_info(info); /// info contains name, has_restarts, execution id
        }
    
    void makeRestart(const std::string& info) {
      msg.reset();