CBMC
piped_process.cpp File Reference

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

Go to the source code of this file.

Macros

#define BUFSIZE   2048
 

Detailed Description

Subprocess communication with pipes.

Author
Diffblue Ltd.

Definition in file piped_process.cpp.

Macro Definition Documentation

◆ BUFSIZE

#define BUFSIZE   2048

Definition at line 102 of file piped_process.cpp.