diff options
| author | chriseth <chris@ethereum.org> | 2018-04-20 15:01:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-20 15:01:59 +0800 |
| commit | 676732776eaf087a17b79bc97213c84746dabd09 (patch) | |
| tree | a221752bdb435478deefcdd80d68406658d123e1 /test | |
| parent | 0f3284316d7b6ac3e30180811a0fd1677ad2850a (diff) | |
| parent | ba3d16fc5812ae77d955790d512d91f6c996ceb2 (diff) | |
| download | dexon-solidity-676732776eaf087a17b79bc97213c84746dabd09.tar.gz dexon-solidity-676732776eaf087a17b79bc97213c84746dabd09.tar.zst dexon-solidity-676732776eaf087a17b79bc97213c84746dabd09.zip | |
Merge pull request #3943 from ethereum/smt_remove_branch_warning
[SMTChecker] Remove 'information is erase' message for if-else
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions