CBMC
Loading...
Searching...
No Matches
message.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Unit test utilities
4
5
Author: Diffblue Ltd.
6
7
\*******************************************************************/
8
11
12
#include "
message.h
"
13
14
null_message_handlert
null_message_handler
;
null_message_handlert
Definition
message.h:76
null_message_handler
null_message_handlert null_message_handler
Definition
message.cpp:14
message.h
unit
testing-utils
message.cpp
Generated by
1.9.8