|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Protected Member Functions | |
| _is_newtype_call (self, call_node) | |
| _as_load_target (self, target, source_node) | |
|
protected |
Create a Load-context version of an AugAssign target.
|
protected |
True if call_node is a typing.NewType(...) call, in any import form.