CBMC
piped_process.h File Reference

Subprocess communication with pipes. More...

#include "message.h"
#include <vector>
+ Include dependency graph for piped_process.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  piped_processt
 

Macros

#define PIPED_PROCESS_INFINITE_TIMEOUT
 

Detailed Description

Subprocess communication with pipes.

Author
Diffblue Ltd.

Definition in file piped_process.h.

Macro Definition Documentation

◆ PIPED_PROCESS_INFINITE_TIMEOUT

#define PIPED_PROCESS_INFINITE_TIMEOUT
Value:
std::optional<std::size_t> \
{ \
}

Definition at line 20 of file piped_process.h.