cprover
Loading...
Searching...
No Matches
converter.cpp File Reference
#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[])

Function Documentation

◆ convert_line()

void convert_line ( const std::string & line,
bool first )
static

Definition at line 18 of file converter.cpp.

◆ has_prefix()

bool has_prefix ( const std::string & s,
const std::string & prefix )

Definition at line 13 of file converter.cpp.

◆ main()

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

Definition at line 56 of file converter.cpp.