cprover
static_verifier.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: goto-analyzer
4
5
Author: Martin Brain, martin.brain@cs.ox.ac.uk
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_GOTO_ANALYZER_STATIC_VERIFIER_H
10
#define CPROVER_GOTO_ANALYZER_STATIC_VERIFIER_H
11
12
#include <iosfwd>
13
14
class
ai_baset
;
15
class
goto_modelt
;
16
class
message_handlert
;
17
class
optionst
;
18
19
bool
static_verifier
(
20
const
goto_modelt
&,
21
const
ai_baset
&,
22
const
optionst
&,
23
message_handlert
&,
24
std::ostream &);
25
26
#endif // CPROVER_GOTO_ANALYZER_STATIC_VERIFIER_H
static_verifier
bool static_verifier(const goto_modelt &, const ai_baset &, const optionst &, message_handlert &, std::ostream &)
Runs the analyzer and then prints out the domain.
Definition:
static_verifier.cpp:234
optionst
Definition:
options.h:22
goto_modelt
Definition:
goto_model.h:24
message_handlert
Definition:
message.h:24
ai_baset
The basic interface of an abstract interpreter.
Definition:
ai.h:32
goto-analyzer
static_verifier.h
Generated by
1.8.14