diff options
| author | Daniel Kirchner <daniel@ekpyron.org> | 2018-06-12 18:26:05 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-12 18:26:05 +0800 |
| commit | 1f1ec180fb15431e5d398ad9346d206e284a35df (patch) | |
| tree | 2b1ed997b1e214ee3383c8e49be59ea5fc6064d2 /libsolidity/formal/SMTLib2Interface.cpp | |
| parent | 56a965ea96203201155fc50a893931e7e60fddbe (diff) | |
| parent | 9f546cfafcc4a12c6574550724a82074bb0afb66 (diff) | |
| download | dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar.gz dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar.bz2 dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar.lz dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar.xz dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.tar.zst dexon-solidity-1f1ec180fb15431e5d398ad9346d206e284a35df.zip | |
Merge pull request #4273 from ethereum/soltestExceptions
Improve exception handling in soltest and isoltest.
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.cpp')
0 files changed, 0 insertions, 0 deletions