cprover
Loading...
Searching...
No Matches
safety_checker.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Safety Checker Interface
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#include "safety_checker.h"
13
15 ns(_ns)
16{
17}
18
20 const namespacet &_ns,
21 message_handlert &_message_handler):
22 messaget(_message_handler),
23 ns(_ns)
24{
25}
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:91
safety_checkert(const namespacet &_ns)
Safety Checker Interface.