CBMC
file_converter.cpp File Reference

Convert file contents to C strings. More...

#include <fstream>
#include <iostream>
#include <string>
+ Include dependency graph for file_converter.cpp:

Go to the source code of this file.

Functions

static void convert_line (const std::string &line)
 
int main (int argc, char *argv[])
 

Detailed Description

Convert file contents to C strings.

Definition in file file_converter.cpp.

Function Documentation

◆ convert_line()

static void convert_line ( const std::string &  line)
static

Definition at line 16 of file file_converter.cpp.

◆ main()

int main ( int  argc,
char *  argv[] 
)

Definition at line 41 of file file_converter.cpp.