cprover
|
A stdin/stdout pipe as STL stream. More...
#include "pipe_stream.h"
#include <cstdio>
#include <istream>
#include <vector>
#include "unicode.h"
#include <sys/types.h>
#include <sys/wait.h>
#include <unistd.h>
#include <cstring>
#include <csignal>
Go to the source code of this file.
Macros | |
#define | READ_BUFFER_SIZE 1024 |
A stdin/stdout pipe as STL stream.
Definition in file pipe_stream.cpp.
#define READ_BUFFER_SIZE 1024 |
Definition at line 31 of file pipe_stream.cpp.
Referenced by filedescriptor_streambuft::filedescriptor_streambuft(), and filedescriptor_streambuft::underflow().