diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2016-12-02 21:58:14 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-02-01 20:23:47 +0800 |
| commit | ce62c7c01c01c859f6b310309a186a966e835d77 (patch) | |
| tree | 30f372cd346ecd219d268dc65e6bcbb264f3e0bd /libsolidity/formal | |
| parent | 767ec1d670808cd479ac74780bff51a1f1900f04 (diff) | |
| download | dexon-solidity-ce62c7c01c01c859f6b310309a186a966e835d77.tar.gz dexon-solidity-ce62c7c01c01c859f6b310309a186a966e835d77.tar.zst dexon-solidity-ce62c7c01c01c859f6b310309a186a966e835d77.zip | |
Be more verbose on the stack-mismatch errors
Diffstat (limited to 'libsolidity/formal')
0 files changed, 0 insertions, 0 deletions