|
CBMC
|
Low-level interface to gdb. More...
#include <cerrno>#include <cstdio>#include <cstring>#include <regex>#include "gdb_api.h"#include <util/prefix.h>#include <util/string2int.h>#include <util/string_utils.h>#include <sys/wait.h>
Include dependency graph for gdb_api.cpp:Go to the source code of this file.
Low-level interface to gdb.
Implementation of the GDB/MI API for extracting values of expressions.
Definition in file gdb_api.cpp.