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_functions.h
>
19
20
class
goto_modelt
;
21
class
symbol_tablet
;
22
23
void
remove_asm
(
goto_functionst
&,
symbol_tablet
&);
24
25
void
remove_asm
(
goto_modelt
&);
26
27
#endif // CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
remove_asm
void remove_asm(goto_functionst &, symbol_tablet &)
removes assembler
Definition:
remove_asm.cpp:482
goto_functions.h
Goto Programs with Functions.
goto_modelt
Definition:
goto_model.h:24
symbol_tablet
The symbol table.
Definition:
symbol_table.h:19
goto_functionst
Definition:
goto_functions.h:21
goto-programs
remove_asm.h
Generated by
1.8.14