CBMC
assembler Directory Reference
+ Directory dependency graph for assembler:

Files

file  assembler_parser.cpp [code]
 
file  assembler_parser.h [code]
 
file  remove_asm.cpp [code]
 Remove 'asm' statements by compiling them into suitable standard goto program instructions.
 
file  remove_asm.h [code]
 Remove 'asm' statements by compiling them into suitable standard goto program instructions.