cprover
|
Goto Programs Author: Thomas Kiley, thoma. s@di ffblu e.co mMore...
Go to the source code of this file.
Classes | |
class | rebuild_goto_start_function_baset< maybe_lazy_goto_modelt > |
Macros | |
#define | OPT_FUNCTIONS "(function):" |
#define | HELP_FUNCTIONS " --function name set main function name\n" |
Typedefs | |
using | rebuild_goto_start_functiont = rebuild_goto_start_function_baset< goto_modelt > |
using | rebuild_lazy_goto_start_functiont = rebuild_goto_start_function_baset< lazy_goto_modelt > |
Goto Programs Author: Thomas Kiley, thoma. s@di ffblu e.co m
Definition in file rebuild_goto_start_function.h.
#define HELP_FUNCTIONS " --function name set main function name\n" |
Definition at line 24 of file rebuild_goto_start_function.h.
#define OPT_FUNCTIONS "(function):" |
Definition at line 21 of file rebuild_goto_start_function.h.
Definition at line 49 of file rebuild_goto_start_function.h.
Definition at line 53 of file rebuild_goto_start_function.h.