ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_link.h
Go to the documentation of this file.
1#ifndef CPROVER_C_LINK_H
2#define CPROVER_C_LINK_H
3
4#include <util/symtab/context.h>
5#include <util/message/message.h>
6
7bool c_link(
8 contextt &context,
9 contextt &new_context,
10 const std::string &module);
11
12#endif
c_link
bool c_link(contextt &context, contextt &new_context, const std::string &module)
Definition c_link.cpp:381
contextt
Definition context.h:57
module
Definition module.h:60