cprover
hybrid_binary.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Create hybrid binary with goto-binary section
4
5
Author: Daniel Kroening
6
7
Date: May 2018
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_CC_HYBRID_BINARY_H
15
#define CPROVER_GOTO_CC_HYBRID_BINARY_H
16
17
#include <
util/message.h
>
18
19
#include <string>
20
27
int
hybrid_binary
(
28
const
std::string &compiler_or_linker,
29
const
std::string &goto_binary_file,
30
const
std::string &output_file,
31
message_handlert
&);
32
33
#endif // CPROVER_GOTO_CC_HYBRID_BINARY_H
message_handlert
Definition:
message.h:25
hybrid_binary
int hybrid_binary(const std::string &compiler_or_linker, const std::string &goto_binary_file, const std::string &output_file, message_handlert &)
Merges a goto binary into an object file (e.g.
Definition:
hybrid_binary.cpp:19
message.h
goto-cc
hybrid_binary.h
Generated by
1.8.14