CBMC
|
Subprocess communication with pipes. More...
Go to the source code of this file.
Classes | |
class | piped_processt |
Macros | |
#define | PIPED_PROCESS_INFINITE_TIMEOUT |
Subprocess communication with pipes.
Definition in file piped_process.h.
#define PIPED_PROCESS_INFINITE_TIMEOUT |
Definition at line 20 of file piped_process.h.