add_race_assertions.h

Go to the documentation of this file.

#ifndef CPROVER_GOTO_PROGRAMS_RACE_DETECTION_H
#define CPROVER_GOTO_PROGRAMS_RACE_DETECTION_H
 
#include <goto-programs/goto_functions.h>
#include <goto-programs/goto_program.h>
#include <pointer-analysis/value_sets.h>
 
void add_race_assertions(contextt &context, goto_programt &goto_program);
 
void add_race_assertions(contextt &context, goto_functionst &goto_functions);
 
#endif