diff options
| author | liangdzou <liang.d.zou@gmail.com> | 2018-09-17 22:13:21 +0800 |
|---|---|---|
| committer | liangdzou <liang.d.zou@gmail.com> | 2018-09-17 22:13:21 +0800 |
| commit | 808c3f3df58d32c5d6056ece7da23db41d617c2b (patch) | |
| tree | 2f1eb0836d068a7fdab10a416944954ed4af6d04 /test/libsolidity | |
| parent | 804ea43782af1707bf7d36bfd1ead352fca9917e (diff) | |
| download | dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar.gz dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar.bz2 dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar.lz dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar.xz dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.tar.zst dexon-solidity-808c3f3df58d32c5d6056ece7da23db41d617c2b.zip | |
fix some format typos
Diffstat (limited to 'test/libsolidity')
| -rw-r--r-- | test/libsolidity/SMTChecker.cpp | 4 | ||||
| -rw-r--r-- | test/libsolidity/SolidityOptimizer.cpp | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp index 736aa46c..1f6f765f 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -343,7 +343,7 @@ BOOST_AUTO_TEST_CASE(bool_simple) text = R"( contract C { function f(bool x) public pure { - if(x) { + if (x) { assert(x); } else { assert(!x); @@ -380,7 +380,7 @@ BOOST_AUTO_TEST_CASE(bool_int_mixed) contract C { function f(bool x) public pure { uint a; - if(x) + if (x) a = 1; assert(!x || a > 0); } diff --git a/test/libsolidity/SolidityOptimizer.cpp b/test/libsolidity/SolidityOptimizer.cpp index 1c80e82e..f925d36e 100644 --- a/test/libsolidity/SolidityOptimizer.cpp +++ b/test/libsolidity/SolidityOptimizer.cpp @@ -352,7 +352,7 @@ BOOST_AUTO_TEST_CASE(incorrect_storage_access_bug) mapping(uint => uint) data; function f() public returns (uint) { - if(data[now] == 0) + if (data[now] == 0) data[uint(-7)] = 5; return data[now]; } |