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