CBMC
|
Race Detection for Threaded Goto Programs. More...
#include <util/irep.h>
Go to the source code of this file.
Functions | |
void | race_check (value_setst &, class symbol_table_baset &, const irep_idt &function_id, goto_programt &goto_program, message_handlert &) |
void | race_check (value_setst &, goto_modelt &, message_handlert &) |
Race Detection for Threaded Goto Programs.
Definition in file race_check.h.
void race_check | ( | value_setst & | value_sets, |
class symbol_table_baset & | symbol_table, | ||
const irep_idt & | function_id, | ||
goto_programt & | goto_program, | ||
message_handlert & | message_handler | ||
) |
Definition at line 269 of file race_check.cpp.
void race_check | ( | value_setst & | value_sets, |
goto_modelt & | goto_model, | ||
message_handlert & | message_handler | ||
) |
Definition at line 293 of file race_check.cpp.