cprover
remove_asm.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove 'asm' statements by compiling into suitable standard
4
code
5
6
Author: Daniel Kroening
7
8
Date: December 2014
9
10
\*******************************************************************/
11
14
15
#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
16
#define CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
17
18
#include <
goto-programs/goto_model.h
>
19
20
void
remove_asm
(
symbol_tablet
&,
goto_functionst
&);
21
22
void
remove_asm
(
goto_modelt
&);
23
24
#endif // CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
remove_asm
void remove_asm(symbol_tablet &, goto_functionst &)
removes assembler
Definition:
remove_asm.cpp:317
goto_modelt
Definition:
goto_model.h:22
goto_model.h
Symbol Table + CFG.
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
goto_functionst
Definition:
goto_functions.h:20
goto-programs
remove_asm.h
Generated by
1.8.14