| CBMC
    | 
#include <cerrno>#include <cstdio>#include <cstring>#include <regex>#include <iostream>#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:
 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.