aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
diff options
context:
space:
mode:
authorErik Kundt <bitshift@posteo.org>2018-12-05 17:25:48 +0800
committerErik Kundt <bitshift@posteo.org>2018-12-05 17:33:34 +0800
commitc38fb534396eee62701cd08edfffbdea3bac337f (patch)
tree5404374a78a985296c9942d9039f817ca9f13757 /test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
parente3accc6aa6857c8ae7c6f075ff50d9a17989cd0d (diff)
downloaddexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar.gz
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar.bz2
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar.lz
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar.xz
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.tar.zst
dexon-solidity-c38fb534396eee62701cd08edfffbdea3bac337f.zip
Cleans up Result<T> and adds additional documentation.
Diffstat (limited to 'test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol')
0 files changed, 0 insertions, 0 deletions