cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
3d12c2ddc7
solidity/libsolidity/formal
History
Yoichi Hirai 4337e70cca Prepare for leaky exceptions 
Now toFormalType() reports errors by exceptions, they will be
sometimes leaked to the wider context.  This commits adds a catch.
2016-09-09 20:15:13 +02:00
..
Why3Translator.cpp Prepare for leaky exceptions 2016-09-09 20:15:13 +02:00
Why3Translator.h toFormalType reports errors by an exception 2016-09-09 20:15:08 +02:00