|
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().