|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | preprocessor.function_value_types._Scope |
| class | preprocessor.function_value_types._Analysis |
Namespaces | |
| namespace | preprocessor |
| namespace | preprocessor.function_value_types |
Functions | |
| preprocessor.function_value_types._differ (a, b) | |
| preprocessor.function_value_types._own_nodes (node) | |
| preprocessor.function_value_types.reject_mixed_function_values (module, path) | |
Variables | |
| dict | preprocessor.function_value_types._NUMERIC = {"bool", "int", "float", "num"} |
| str | preprocessor.function_value_types._NONDET_PREFIX = "nondet_" |
| dict | preprocessor.function_value_types._SHOWN = {"num": "int or float", "function": "a function"} |
| tuple | preprocessor.function_value_types._NUMERIC_ONLY_OPS = (ast.FloorDiv, ast.Pow, ast.LShift, ast.RShift) |
| dict | preprocessor.function_value_types._BUILTIN_RESULTS |