aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTestsJSON
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-11-28 21:24:02 +0800
committerchriseth <chris@ethereum.org>2018-11-29 00:25:43 +0800
commit8ec66bcab65bd764a3923f5866d0d5c930a99e74 (patch)
tree2bc3684afc2368bccf5e15b160cd14ceebc14aee /test/libsolidity/smtCheckerTestsJSON
parent7cbf04686442b44b41d7b24800edb8444db31092 (diff)
downloaddexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar.gz
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar.bz2
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar.lz
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar.xz
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.tar.zst
dexon-solidity-8ec66bcab65bd764a3923f5866d0d5c930a99e74.zip
Disable coverage generation for release branch.
Diffstat (limited to 'test/libsolidity/smtCheckerTestsJSON')
0 files changed, 0 insertions, 0 deletions