ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
BytesDynamic Struct Reference

#include <solidity_types.h>

Public Attributes

size_t offset
size_t length
size_t capacity
int initialized

Member Data Documentation

◆ capacity

size_t BytesDynamic::capacity

◆ initialized

int BytesDynamic::initialized

◆ length

size_t BytesDynamic::length

◆ offset

size_t BytesDynamic::offset

The documentation for this struct was generated from the following file: