std::unique_ptr< languaget > new_ansi_c_language()
CBMC Command Line Option Processing.
void register_languages() override
std::unique_ptr< languaget > new_cpp_language()
std::unique_ptr< languaget > new_jsil_language()
std::unique_ptr< languaget > new_json_symtab_language()
void register_language(language_factoryt factory)
Register a language Note: registering a language is required for using the functions in language_util...
std::unique_ptr< languaget > new_statement_list_language()
Statement List Language Interface.