aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-05-15 19:04:49 +0800
committerchriseth <chris@ethereum.org>2018-05-15 20:45:54 +0800
commitdac0029d16ffe31fba2e6241f99893ea9a26926e (patch)
tree1e68ea5ff7ab7b10bf2bf59195676ff7feac8524 /test/libsolidity/SMTChecker.cpp
parentdce62240525035ec7ce6b5d1b76bfeebe1ae9546 (diff)
downloaddexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar.gz
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar.bz2
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar.lz
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar.xz
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.tar.zst
dexon-solidity-dac0029d16ffe31fba2e6241f99893ea9a26926e.zip
ABI encoding functions are pure and should be usable in constants.
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
0 files changed, 0 insertions, 0 deletions