CBMC
message.cpp File Reference

Global instance of null_message_handlert. More...

#include "message.h"
+ Include dependency graph for message.cpp:

Go to the source code of this file.

Variables

null_message_handlert null_message_handler
 

Detailed Description

Global instance of null_message_handlert.

Definition in file message.cpp.

Variable Documentation

◆ null_message_handler

null_message_handlert null_message_handler

Definition at line 14 of file message.cpp.