|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>#include <string_view>Go to the source code of this file.
Functions | |
| std::string | user_name_to_usr (std::string_view user_name) |
| Convert user-friendly function name to Clang USR format. | |
| std::string | usr_to_user_name (std::string_view usr_name) |
| Convert Clang USR format to user-friendly function name. | |
| std::string user_name_to_usr | ( | std::string_view | user_name | ) |
Convert user-friendly function name to Clang USR format.
Supported formats:
| user_name | User-friendly function name |
| std::string usr_to_user_name | ( | std::string_view | usr_name | ) |
Convert Clang USR format to user-friendly function name.
Inverse of user_name_to_usr. Strips c:@ prefix and converts scope markers (N@, S@, F@) to user-friendly format.
| usr_name | Clang USR format (e.g., c:@F@func# or c:@N@ns@S@Class@F@method#) |