aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorDaniel Kirchner <daniel@ekpyron.org>2018-08-13 20:55:51 +0800
committerDaniel Kirchner <daniel@ekpyron.org>2018-08-14 17:42:34 +0800
commitb325a70d59baf1afc4e284cc8738d71069ec97c2 (patch)
treeeef523b836fd0e6793aa169155bab550a5eaa9a5 /libsolidity/formal
parent06b7edfdcfd960e5d4012c7d20913efab0516ca1 (diff)
downloaddexon-solidity-b325a70d59baf1afc4e284cc8738d71069ec97c2.tar.gz
dexon-solidity-b325a70d59baf1afc4e284cc8738d71069ec97c2.tar.zst
dexon-solidity-b325a70d59baf1afc4e284cc8738d71069ec97c2.zip
Fix tests for constantinople (expect zero for the time being).
Diffstat (limited to 'libsolidity/formal')
0 files changed, 0 insertions, 0 deletions