cprover
|
Memory-mapped I/O Instrumentation for Goto Programs. More...
#include <goto-programs/goto_functions.h>
Go to the source code of this file.
Functions | |
void | show_call_sequences (const goto_functionst &goto_functions) |
void | check_call_sequence (const goto_functionst &goto_functions) |
void | list_calls_and_arguments (const namespacet &ns, const goto_functionst &goto_functions) |
Memory-mapped I/O Instrumentation for Goto Programs.
Definition in file call_sequences.h.
void check_call_sequence | ( | const goto_functionst & | goto_functions | ) |
Definition at line 284 of file call_sequences.cpp.
Referenced by goto_instrument_parse_optionst::doit().
void list_calls_and_arguments | ( | const namespacet & | ns, |
const goto_functionst & | goto_functions | ||
) |
Definition at line 349 of file call_sequences.cpp.
References forall_goto_functions, and list_calls_and_arguments().
void show_call_sequences | ( | const goto_functionst & | goto_functions | ) |
Definition at line 100 of file call_sequences.cpp.
References forall_goto_functions, and show_call_sequences().