cprover
|
Memory-mapped I/O Instrumentation for Goto Programs. More...
Go to the source code of this file.
Functions | |
void | show_call_sequences (const goto_modelt &) |
void | check_call_sequence (const goto_modelt &) |
void | list_calls_and_arguments (const goto_modelt &) |
Memory-mapped I/O Instrumentation for Goto Programs.
Definition in file call_sequences.h.
void check_call_sequence | ( | const goto_modelt & | ) |
Definition at line 252 of file call_sequences.cpp.
Referenced by goto_instrument_parse_optionst::doit().
void list_calls_and_arguments | ( | const goto_modelt & | ) |
Definition at line 316 of file call_sequences.cpp.
References forall_goto_functions, goto_modelt::goto_functions, list_calls_and_arguments(), and goto_modelt::symbol_table.
void show_call_sequences | ( | const goto_modelt & | ) |
Definition at line 67 of file call_sequences.cpp.
References forall_goto_functions, goto_modelt::goto_functions, and show_call_sequences().