HOLLY wyh
Results
1
issues of
HOLLY wyh
"mapping" is an important data structure in Solidity, and I sincerely hope that in the upcoming versions, ESBMC can support verification related to this data structure.