cprover
|
Checks for Errors in C and Java Programs. More...
#include <goto-programs/goto_functions.h>
Go to the source code of this file.
Functions | |
void | goto_check (const namespacet &, const optionst &, goto_functionst &, message_handlert &) |
void | goto_check (const irep_idt &function_identifier, goto_functionst::goto_functiont &, const namespacet &, const optionst &, message_handlert &) |
void | goto_check (const optionst &, goto_modelt &, message_handlert &) |
Checks for Errors in C and Java Programs.
Definition in file goto_check.h.
void goto_check | ( | const irep_idt & | function_identifier, |
goto_functionst::goto_functiont & | goto_function, | ||
const namespacet & | ns, | ||
const optionst & | options, | ||
message_handlert & | message_handler | ||
) |
Definition at line 18 of file goto_check.cpp.
void goto_check | ( | const namespacet & | ns, |
const optionst & | options, | ||
goto_functionst & | goto_functions, | ||
message_handlert & | message_handler | ||
) |
Definition at line 34 of file goto_check.cpp.
void goto_check | ( | const optionst & | options, |
goto_modelt & | goto_model, | ||
message_handlert & | message_handler | ||
) |
Definition at line 43 of file goto_check.cpp.