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
28
int
hybrid_binary
(
29
const
std::string &compiler_or_linker,
30
const
std::string &goto_binary_file,
31
const
std::string &output_file,
32
bool
building_executable,
33
message_handlert
&message_handler);
34
35
#endif // CPROVER_GOTO_CC_HYBRID_BINARY_H
hybrid_binary
int hybrid_binary(const std::string &compiler_or_linker, const std::string &goto_binary_file, const std::string &output_file, bool building_executable, message_handlert &message_handler)
Merges a goto binary into an object file (e.g.
Definition:
hybrid_binary.cpp:24
message_handlert
Definition:
message.h:28
message.h
goto-cc
hybrid_binary.h
Generated by
1.8.20