10 #ifndef CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H 11 #define CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H 19 #endif // CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H void thread_exit_instrumentation(goto_functionst &)
Goto Programs with Functions.
void mutex_init_instrumentation(const symbol_tablet &, goto_functionst &)