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: