|
CBMC
|
#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... | |
| std::string get_base_name | ( | const std::string & | in, |
| bool | strip_suffix | ||
| ) |
cleans a filename from path and extension
Definition at line 16 of file get_base_name.cpp.