10 #ifndef CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H 11 #define CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H 18 #endif // CPROVER_GOTO_INSTRUMENT_THREAD_INSTRUMENTATION_H void mutex_init_instrumentation(goto_modelt &)
void thread_exit_instrumentation(goto_modelt &)