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

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

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