klee
|
Inherits llvm::AssemblyAnnotationWriter.
Public Member Functions | |
void | emitInstructionAnnot (const llvm::Instruction *i, llvm::formatted_raw_ostream &os) |
void | emitFunctionAnnot (const llvm::Function *f, llvm::formatted_raw_ostream &os) |
Definition at line 35 of file InstructionInfoTable.cpp.
|
inline |
Definition at line 43 of file InstructionInfoTable.cpp.
|
inline |
Definition at line 37 of file InstructionInfoTable.cpp.