|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>#include <string_view>Go to the source code of this file.
Functions | |
| std::string | base_subobject_name (std::string_view class_id) |
Variables | |
| constexpr std::string_view | BASE_SUBOBJECT_PREFIX = "@base@" |
|
inline |
|
inlineconstexpr |