ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sol_llc_ret Struct Reference
#include <
solidity_types.h
>
Public Attributes
unsigned
int
x
unsigned
int
y
Member Data Documentation
◆
x
unsigned
int
sol_llc_ret::x
◆
y
unsigned
int
sol_llc_ret::y
The documentation for this struct was generated from the following file:
src/c2goto/library/solidity/
solidity_types.h
sol_llc_ret
Generated by
1.15.0