CBMC
message.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unit test utilities
4 
5 Author: Diffblue Limited.
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_MESSAGE_H
10 #define CPROVER_TESTING_UTILS_MESSAGE_H
11 
12 #include <util/message.h>
13 
14 extern null_message_handlert null_message_handler;
15 
16 #endif // CPROVER_TESTING_UTILS_MESSAGE_H
null_message_handlert
Definition: message.h:77
null_message_handler
null_message_handlert null_message_handler
Definition: message.cpp:14