CBMC
Loading...
Searching...
No Matches
goto_instrument_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
13
14#include <langapi/mode.h>
15
17#include <cpp/cpp_language.h>
18
std::unique_ptr< languaget > new_ansi_c_language()
std::unique_ptr< languaget > new_cpp_language()
C++ Language Module.
Command Line Parsing.
void register_language(language_factoryt factory)
Register a language Note: registering a language is required for using the functions in language_util...
Definition mode.cpp:39