CBMC
|
Subprocess communication with pipes. More...
#include <fcntl.h>
#include <poll.h>
#include <signal.h>
#include <unistd.h>
#include "exception_utils.h"
#include "invariant.h"
#include "narrow.h"
#include "piped_process.h"
#include <cstring>
#include <iostream>
#include <vector>
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 102 of file piped_process.cpp.