cprover
|
Convert file contents to C strings. More...
#include <iostream>
#include <string>
Go to the source code of this file.
Functions | |
int | main () |
Convert file contents to C strings.
Definition in file file_converter.cpp.
int main | ( | ) |
Definition at line 15 of file file_converter.cpp.
Referenced by shared_bufferst::add_initialization_code(), fence_all_shared_aegt::compute(), string_abstractiont::operator()(), and race_check().