ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
converter_types.cpp File Reference
#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>
Include dependency graph for converter_types.cpp:

Functions

static bool names_list_annotation (const std::string &name)

Function Documentation

◆ names_list_annotation()

bool names_list_annotation ( const std::string & name)
static