CBMC
get_base_name.h File Reference
#include <string>
+ Include dependency graph for get_base_name.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string get_base_name (const std::string &in, bool strip_suffix)
 cleans a filename from path and extension More...
 

Function Documentation

◆ get_base_name()

std::string get_base_name ( const std::string &  in,
bool  strip_suffix 
)

cleans a filename from path and extension

parameters: a string
Returns
a new string

Definition at line 16 of file get_base_name.cpp.