|
cprover
|
Output file container that handles stdout ("-") and regular files. More...
#include <iosfwd>#include <memory>#include <string>Go to the source code of this file.
Classes | |
| class | output_filet |
| RAII container for an output stream that is either stdout or a file. More... | |
Output file container that handles stdout ("-") and regular files.
Definition in file output_file.h.