cprover
|
Go to the source code of this file.
Functions | |
void | thread_exit_instrumentation (goto_modelt &) |
void | mutex_init_instrumentation (goto_modelt &) |
void mutex_init_instrumentation | ( | goto_modelt & | ) |
Definition at line 121 of file thread_instrumentation.cpp.
References Forall_goto_functions, goto_modelt::goto_functions, irept::id(), mutex_init_instrumentation(), code_typet::parameters(), typet::subtype(), goto_modelt::symbol_table, symbol_table_baset::symbols, and to_code_type().
void thread_exit_instrumentation | ( | goto_modelt & | ) |
Definition at line 57 of file thread_instrumentation.cpp.
References forall_goto_functions, code_function_callt::function(), goto_functionst::function_map, goto_modelt::goto_functions, has_start_thread(), thread_exit_instrumentation(), to_code_function_call(), and to_symbol_expr().