|
CBMC
|
#include <fstream>#include <iostream>#include <string>
Include dependency graph for converter.cpp:Go to the source code of this file.
Functions | |
| bool | has_prefix (const std::string &s, const std::string &prefix) |
| static void | convert_line (const std::string &line, bool first) |
| int | main (int argc, char *argv[]) |
|
static |
Definition at line 18 of file converter.cpp.
| bool has_prefix | ( | const std::string & | s, |
| const std::string & | prefix | ||
| ) |
Definition at line 13 of file converter.cpp.
| int main | ( | int | argc, |
| char * | argv[] | ||
| ) |
Definition at line 56 of file converter.cpp.