ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
flat_array_shape_info Struct Reference
#include <
python_list.h
>
Public Attributes
typet
elem_type
long long
total_length
Member Data Documentation
◆
elem_type
typet
flat_array_shape_info::elem_type
◆
total_length
long long flat_array_shape_info::total_length
The documentation for this struct was generated from the following file:
src/python-frontend/python-list/
python_list.h
flat_array_shape_info
Generated by
1.15.0