|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/function_call/expr.h>#include <python-frontend/json_utils.h>#include <python-frontend/python_converter.h>#include <python-frontend/tuple/tuple_handler.h>#include <python-frontend/type/type_utils.h>#include <irep2/irep2_utils.h>#include <util/lang/c_types.h>#include <util/message/message.h>#include <util/irep/migrate.h>#include <util/lang/python_types.h>#include <algorithm>#include <cctype>#include <functional>#include <set>Functions | |
| static bool | names_list_annotation (const std::string &name) |
|
static |