diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-09-05 23:09:33 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-09-06 00:00:24 +0800 |
| commit | 3f2027ee5f5aa6ed767f88ec5426e664a254dc8f (patch) | |
| tree | e3ad1706c921a08765779f6b7b4c77a0a3c25d1e /test | |
| parent | 940c5a861291a97e53e92e79450c8fbb9a38b6f2 (diff) | |
| download | dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar.gz dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar.bz2 dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar.lz dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar.xz dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.tar.zst dexon-solidity-3f2027ee5f5aa6ed767f88ec5426e664a254dc8f.zip | |
Separate the try/catch blocks on JSON output generation and formal method output generation.
For the reason, see @axic's comment here https://github.com/ethereum/solidity/pull/994#discussion_r77272236
and the following discussion.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions