CBMC
|
Convert file contents to C strings. More...
#include <fstream>
#include <iostream>
#include <string>
Go to the source code of this file.
Functions | |
static void | convert_line (const std::string &line) |
int | main (int argc, char *argv[]) |
Convert file contents to C strings.
Definition in file file_converter.cpp.
Definition at line 16 of file file_converter.cpp.
Definition at line 41 of file file_converter.cpp.