CBMC
get_base_name.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: CM Wintersteiger
6 
7 Date:
8 
9 \*******************************************************************/
10 
11 
12 #ifndef CPROVER_UTIL_GET_BASE_NAME_H
13 #define CPROVER_UTIL_GET_BASE_NAME_H
14 
15 #include <string>
16 
17 std::string get_base_name(const std::string &in, bool strip_suffix);
18 
19 #endif // CPROVER_UTIL_GET_BASE_NAME_H
std::string get_base_name(const std::string &in, bool strip_suffix)
cleans a filename from path and extension