CBMC
piped_process.h File Reference
#include "message.h"
#include "nodiscard.h"
#include "optional.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:

Definition at line 22 of file piped_process.h.

optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35