9 #ifndef CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H 10 #define CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H 21 #define OPT_FUNCTIONS \ 24 #define HELP_FUNCTIONS \ 25 " --function name set main function name\n" 27 template<
typename maybe_lazy_goto_modelt>
55 #endif // CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H rebuild_goto_start_function_baset(const cmdlinet &cmdline, maybe_lazy_goto_modelt &goto_model, message_handlert &message_handler)
To rebuild the _start function in the event the program was compiled into GOTO with a different entry...
maybe_lazy_goto_modelt & goto_model
irep_idt get_entry_point_mode() const
Find out the mode of the current entry point to determine the mode of the replacement entry point...
bool operator()()
To rebuild the _start function in the event the program was compiled into GOTO with a different entry...
void remove_existing_entry_point()
Eliminate the existing entry point function symbol and any symbols created in that scope from the sym...
message_handlert * message_handler