|
cprover
|
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.