|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/lang/c_types.h>#include <util/irep/expr.h>#include <util/irep/std_types.h>#include <util/expr/expr_util.h>#include <util/irep/type.h>#include <python-frontend/type/type_handler.h>#include <nlohmann/json.hpp>#include <cctype>#include <map>#include <set>#include <string>Go to the source code of this file.
Classes | |
| struct | TypeFlags |
| class | type_utils |
Enumerations | |
| enum class | StatementType { VARIABLE_ASSIGN , COMPOUND_ASSIGN , FUNC_DEFINITION , IF_STATEMENT , WHILE_STATEMENT , FOR_STATEMENT , EXPR , RETURN , ASSERT , CLASS_DEFINITION , PASS , IMPORT , BREAK , CONTINUE , RAISE , UNKNOWN , GLOBAL , NONLOCAL , TRY , EXCEPTHANDLER , DELETE_STATEMENT } |
| enum class | ExpressionType { BINARY_OPERATION , UNARY_OPERATION , FUNC_CALL , IF_EXPR , LOGICAL_OPERATION , LITERAL , SUBSCRIPT , VARIABLE_REF , LIST , UNKNOWN , FSTRING , TUPLE , SLICE , CLASS_MRO } |
|
strong |
|
strong |