cprover
|
#include <goto-programs/goto_functions.h>
Go to the source code of this file.
Functions | |
void | thread_exit_instrumentation (goto_functionst &) |
void | mutex_init_instrumentation (const symbol_tablet &, goto_functionst &) |
void mutex_init_instrumentation | ( | const symbol_tablet & | , |
goto_functionst & | |||
) |
Definition at line 121 of file thread_instrumentation.cpp.
References Forall_goto_functions, irept::id(), mutex_init_instrumentation(), code_typet::parameters(), typet::subtype(), symbol_tablet::symbols, and to_code_type().
void thread_exit_instrumentation | ( | goto_functionst & | ) |
Definition at line 56 of file thread_instrumentation.cpp.
References forall_goto_functions, code_function_callt::function(), goto_functions_templatet< bodyT >::function_map, has_start_thread(), thread_exit_instrumentation(), to_code_function_call(), and to_symbol_expr().