ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_ast_dump.h
Go to the documentation of this file.
1#ifndef CLANG_C_FRONTEND_CLANG_AST_DUMP_H
2#define CLANG_C_FRONTEND_CLANG_AST_DUMP_H
3
4namespace clang
5{
6class ASTContext;
7}
8namespace llvm
9{
10class raw_ostream;
11}
12
21void enable_ast_dump_colors(llvm::raw_ostream &os, clang::ASTContext &ctx);
22
23#endif
void enable_ast_dump_colors(llvm::raw_ostream &os, clang::ASTContext &ctx)
Opt os into clang's coloured AST dumps, honouring --color.
Definition clang_ast_dump.cpp:8
Definition build_ast.h:13
Definition clang_ast_dump.h:9
Definition os.py:1