14 #ifndef CPROVER_GOTO_INSTRUMENT_RACE_CHECK_H
15 #define CPROVER_GOTO_INSTRUMENT_RACE_CHECK_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
::goto_functiont goto_functiont
A generic container class for the GOTO intermediate representation of one function.
Goto Programs with Functions.
void race_check(value_setst &, class symbol_tablet &, const irep_idt &function_id, goto_programt &goto_program)