CBMC
message.h File Reference
#include <util/message.h>
+ Include dependency graph for message.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

null_message_handlert null_message_handler
 

Variable Documentation

◆ null_message_handler

null_message_handlert null_message_handler
extern

Definition at line 14 of file message.cpp.