c_preprocess.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_C_PREPROCESS_H
#define CPROVER_C_PREPROCESS_H
 
#include <string>
#include <util/message/message.h>
 
bool c_preprocess(const std::string &path, std::ostream &outstream);
 
#endif