|
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().