|
cprover
|
Convert file contents to a C character-array initialiser. More...
#include "file_converter.h"#include <filesystem>#include <fstream>#include <iostream>#include <string>Go to the source code of this file.
Functions | |
| int | main (int argc, char *argv[]) |
Convert file contents to a C character-array initialiser.
Definition in file file_converter.cpp.
| int main | ( | int | argc, |
| char * | argv[] ) |
Definition at line 19 of file file_converter.cpp.