SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
GNU General Public License v3.0
50 stars 14 forks source link

[0.7] Add more informative error messages for unsupported new features #164

Closed hajduakos closed 4 years ago

hajduakos commented 4 years ago

There are some AST nodes where our visitor is not defined and gives an internal exception "Unhandled node (unknown)". We should give some more meaningful error messages (e.g., "Try-Catch is not yet supported") until we provide support. Such elements include:

hajduakos commented 4 years ago

Done in 280e9e0b7009920c86003141781d042afb47ecd1