#include "api.h"#include <util/cmdline.h>#include <util/config.h>#include <util/invariant.h>#include <util/message.h>#include <util/options.h>#include <util/ui_message.h>#include <util/version.h>#include <goto-programs/goto_model.h>#include <goto-programs/initialize_goto_model.h>#include <goto-programs/process_goto_program.h>#include <goto-programs/read_goto_binary.h>#include <goto-programs/remove_skip.h>#include <goto-programs/remove_unused_functions.h>#include <goto-programs/set_properties.h>#include <ansi-c/ansi_c_language.h>#include <ansi-c/cprover_library.h>#include <ansi-c/gcc_version.h>#include <ansi-c/goto-conversion/link_to_library.h>#include <assembler/remove_asm.h>#include <goto-checker/all_properties_verifier_with_trace_storage.h>#include <goto-checker/multi_path_symex_checker.h>#include <langapi/mode.h>#include <pointer-analysis/add_failed_symbols.h>#include <memory>#include <string>#include <vector>Go to the source code of this file.
api_message, this function returns that message expressed as a C language string. Definition at line 25 of file config.cpp.