CBMC
safety_checker.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Safety Checker Interface
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #include "safety_checker.h"
13 
15  const namespacet &_ns,
16  message_handlert &_message_handler):
17  messaget(_message_handler),
18  ns(_ns)
19 {
20 }
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
safety_checkert(const namespacet &_ns, message_handlert &_message_handler)
Safety Checker Interface.