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 &,
24  std::ostream &);
25 
26 #endif // CPROVER_GOTO_ANALYZER_STATIC_VERIFIER_H
bool static_verifier(const goto_modelt &, const ai_baset &, const optionst &, message_handlert &, std::ostream &)
Runs the analyzer and then prints out the domain.
The basic interface of an abstract interpreter.
Definition: ai.h:32