9 #ifndef CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
10 #define CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
void print(unsigned, const jsont &) override
void print(unsigned, const xmlt &) override
void print(unsigned, const xmlt &) override
void print(unsigned, const xmlt &) override
static const char * message(const statust &status)
Makes a status message string from a status.