CBMC
get_base_name.cpp File Reference
#include "get_base_name.h"
+ Include dependency graph for get_base_name.cpp:

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.