|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <solidity_types.h>
Public Attributes | |
| size_t | offset |
| size_t | length |
| size_t | capacity |
| int | initialized |
| size_t BytesDynamic::capacity |
| int BytesDynamic::initialized |
| size_t BytesDynamic::length |
| size_t BytesDynamic::offset |