CBMC: /home/runner/work/cbmc/cbmc/unit/testing-utils/message.cpp File Reference

CBMC

Loading...

Searching...

No Matches

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.