cprover
ansi_c_entry_point.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
11
#define CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
12
13
#include <
util/symbol_table.h
>
14
#include <
util/message.h
>
15
16
bool
ansi_c_entry_point
(
17
symbol_tablet
&symbol_table,
18
const
std::string &standard_main,
19
message_handlert
&message_handler);
20
21
#endif // CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
ansi_c_entry_point
bool ansi_c_entry_point(symbol_tablet &symbol_table, const std::string &standard_main, message_handlert &message_handler)
Definition:
ansi_c_entry_point.cpp:121
message.h
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
message_handlert
Definition:
message.h:20
symbol_table.h
Symbol table.
ansi-c
ansi_c_entry_point.h
Generated by
1.8.14