|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string_pool.h>
Public Types | |
| using | is_transparent = void |
Public Member Functions | |
| bool | operator() (std::string_view a, std::string_view b) const |
| using string_view_equal::is_transparent = void |
|
inline |