diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-11-15 00:08:53 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-11-22 21:33:28 +0800 |
| commit | 4a71080ae575390a72421572396c37fd977b0115 (patch) | |
| tree | 051dd7f4378a844b76e20cadaf449d1c1d4e4d20 /test/libsolidity/smtCheckerTests/simple_overflow.sol | |
| parent | 109cfcef6902c0c3550e6e56b328183386c69c67 (diff) | |
| download | dexon-solidity-4a71080ae575390a72421572396c37fd977b0115.tar.gz dexon-solidity-4a71080ae575390a72421572396c37fd977b0115.tar.zst dexon-solidity-4a71080ae575390a72421572396c37fd977b0115.zip | |
Remove pragma ABIEncoderV2 from smt test
Diffstat (limited to 'test/libsolidity/smtCheckerTests/simple_overflow.sol')
0 files changed, 0 insertions, 0 deletions