cprover
ansi_c_entry_point.h File Reference
#include <util/symbol_table.h>
#include <util/message.h>
Include dependency graph for ansi_c_entry_point.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool ansi_c_entry_point (symbol_tablet &symbol_table, const std::string &standard_main, message_handlert &message_handler)
 

Function Documentation

◆ ansi_c_entry_point()

bool ansi_c_entry_point ( symbol_tablet symbol_table,
const std::string &  standard_main,
message_handlert message_handler 
)