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 
19 
21 
22 void remove_asm(goto_modelt &);
23 
24 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_ASM_H
void remove_asm(symbol_tablet &, goto_functionst &)
removes assembler
Definition: remove_asm.cpp:317
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:52