diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-04-19 15:28:44 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-04-19 15:28:44 +0800 |
| commit | ba3d16fc5812ae77d955790d512d91f6c996ceb2 (patch) | |
| tree | f18cdb657312b442c3ad02f709ee52400ad8647b /libsolidity/formal/Z3Interface.h | |
| parent | d577f06ad8951b42f8df6fa0e9feca90eb2785eb (diff) | |
| download | dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.tar.gz dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.tar.zst dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.zip | |
[SMTChecker] Remove 'information is erase' message for if-else
Diffstat (limited to 'libsolidity/formal/Z3Interface.h')
0 files changed, 0 insertions, 0 deletions