ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
solidity_convert_tuple.cpp File Reference

Tuple expression conversion for the Solidity frontend. More...

Include dependency graph for solidity_convert_tuple.cpp:

Detailed Description

Tuple expression conversion for the Solidity frontend.

Converts Solidity tuple expressions and multi-return-value function calls from the solc JSON AST. Handles tuple declarations, tuple assignments (destructuring), and the creation of temporary variables for multi-valued returns.