cprover
|
Public Attributes | |
bool | class_initializer_seen = false |
bool | new_method_seen = false |
Definition at line 161 of file ci_lazy_methods.h.
Definition at line 163 of file ci_lazy_methods.h.
Definition at line 164 of file ci_lazy_methods.h.