cprover
pipe_stream.cpp File Reference

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>
Include dependency graph for pipe_stream.cpp:

Go to the source code of this file.

Macros

#define READ_BUFFER_SIZE   1024
 

Detailed Description

A stdin/stdout pipe as STL stream.

Definition in file pipe_stream.cpp.

Macro Definition Documentation

§ READ_BUFFER_SIZE

#define READ_BUFFER_SIZE   1024