|
CBMC
|
#include <fcntl.h>#include <poll.h>#include <signal.h>#include <unistd.h>#include "exception_utils.h"#include "invariant.h"#include "narrow.h"#include "optional.h"#include "piped_process.h"#include "string_utils.h"#include <cstring>#include <iostream>#include <vector>
Include dependency graph for piped_process.cpp:Go to the source code of this file.
Macros | |
| #define | BUFSIZE 2048 |
Subprocess communication with pipes.
Definition in file piped_process.cpp.
| #define BUFSIZE 2048 |
Definition at line 105 of file piped_process.cpp.