/*******************************************************************\

Module: Race Detection for Threaded Goto Programs

Author: Daniel Kroening

Date: February 2006

\*******************************************************************/

#ifndef CPROVER_GOTO_PROGRAMS_RACE_DETECTION_H
#define CPROVER_GOTO_PROGRAMS_RACE_DETECTION_H

#include <pointer-analysis/value_propagation.h>

#include "goto_program.h"
#include "goto_functions.h"

void add_race_assertions(
  const value_propagationt &value_propagation,
  class contextt &context,
  goto_programt &goto_program);

void add_race_assertions(
  const value_propagationt &value_propagation,
  class contextt &context,
  goto_functionst &goto_functions);

#endif
