|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string_view>Go to the source code of this file.
Functions | |
| bool | has_prefix (std::string_view s, std::string_view prefix) |
| bool | has_suffix (std::string_view s, std::string_view suffix) |
|
inline |
|
inline |