cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
osx-cache
solidity/test/libsolutil/StringUtils.cpp

341 lines
17 KiB
C++
Raw Permalink Normal View History

Add tests for similarity routine
2017-11-18 06:54:17 +00:00
/*
This file is part of solidity.
solidity is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
solidity is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with solidity. If not, see <http://www.gnu.org/licenses/>.
*/
Add SPDX license identifier if not present already in source file Fixes: #9220
2020-07-17 14:54:12 +00:00
// SPDX-License-Identifier: GPL-3.0
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
/**
* Unit tests for the StringUtils routines.
*/
Library libdevcore renamed to libsolutil.
2020-01-06 10:52:23 +00:00
#include <libsolutil/CommonData.h>
#include <libsolutil/FixedHash.h>
#include <libsolutil/StringUtils.h>
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
#include <libsolidity/ast/Types.h> // for IntegerType
TestFramework: Merge Options.h into Common.h
2020-01-14 16:48:17 +00:00
#include <test/Common.h>
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
TestFramework: Remove headers from Options.h
2020-01-14 14:55:31 +00:00
#include <boost/test/unit_test.hpp>
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
Adapt tests directory to C++ namespace changes.
2019-12-23 15:50:30 +00:00
namespace solidity::util::test
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
{
Do not run tests that do not need options multiple times.
2020-07-08 15:56:14 +00:00
BOOST_AUTO_TEST_SUITE(StringUtils, *boost::unit_test::label("nooptions"))
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
BOOST_AUTO_TEST_CASE(test_similarity)
{
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hello", 0), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hello", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hellw", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "helol", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "helo", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "helllo", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hlllo", 1), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hllllo", 1), false);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hllllo", 2), true);
BOOST_CHECK_EQUAL(stringWithinDistance("hello", "hlllo", 2), true);
BOOST_CHECK_EQUAL(stringWithinDistance("a", "", 2), false);
BOOST_CHECK_EQUAL(stringWithinDistance("abc", "ba", 2), false);
BOOST_CHECK_EQUAL(stringWithinDistance("abc", "abcdef", 2), false);
BOOST_CHECK_EQUAL(stringWithinDistance("abcd", "wxyz", 2), false);
BOOST_CHECK_EQUAL(stringWithinDistance("", "", 2), true);
Fixes #4718: High CPU usage when using large variable names
2018-08-10 10:31:19 +00:00
BOOST_CHECK_EQUAL(stringWithinDistance("YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY", "YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYZ", 2, 6400), false);
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
}
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_AUTO_TEST_CASE(test_dldistance)
{
BOOST_CHECK_EQUAL(stringDistance("hello", "hellw"), 1);
BOOST_CHECK_EQUAL(stringDistance("hello", "helol"), 1);
BOOST_CHECK_EQUAL(stringDistance("hello", "helo"), 1);
BOOST_CHECK_EQUAL(stringDistance("hello", "helllo"), 1);
BOOST_CHECK_EQUAL(stringDistance("hello", "hlllo"), 1);
BOOST_CHECK_EQUAL(stringDistance("hello", "hllllo"), 2);
BOOST_CHECK_EQUAL(stringDistance("a", ""), 1);
BOOST_CHECK_EQUAL(stringDistance("abc", "ba"), 2);
BOOST_CHECK_EQUAL(stringDistance("abc", "abcdef"), 3);
BOOST_CHECK_EQUAL(stringDistance("abcd", "wxyz"), 4);
BOOST_CHECK_EQUAL(stringDistance("", ""), 0);
BOOST_CHECK_EQUAL(stringDistance("abcdefghijklmnopqrstuvwxyz", "abcabcabcabcabcabcabcabca"), 23);
}
BOOST_AUTO_TEST_CASE(test_alternatives_list)
{
deprecate using namespace std test: updat filereader test deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace depecrate namespace std deprecated namespace std check ci clean line Co-authored-by: Nikola Matić <nikola.matic@ethereum.org> purge line pure line deprecate std deprecate std deprecate std deprecate std deprecate std deprecate deprecate std bye namespace
2023-08-30 00:08:06 +00:00
std::vector<std::string> strings;
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_CHECK_EQUAL(quotedAlternativesList(strings), "");
Apply modernize-use-emplace.
2020-04-01 02:39:38 +00:00
strings.emplace_back("a");
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_CHECK_EQUAL(quotedAlternativesList(strings), "\"a\"");
Apply modernize-use-emplace.
2020-04-01 02:39:38 +00:00
strings.emplace_back("b");
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_CHECK_EQUAL(quotedAlternativesList(strings), "\"a\" or \"b\"");
Apply modernize-use-emplace.
2020-04-01 02:39:38 +00:00
strings.emplace_back("c");
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_CHECK_EQUAL(quotedAlternativesList(strings), "\"a\", \"b\" or \"c\"");
Apply modernize-use-emplace.
2020-04-01 02:39:38 +00:00
strings.emplace_back("d");
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
BOOST_CHECK_EQUAL(quotedAlternativesList(strings), "\"a\", \"b\", \"c\" or \"d\"");
}
added helper function that joins vectors of strings, refactored suggestions formattingi function to use it
2018-08-02 14:57:16 +00:00
BOOST_AUTO_TEST_CASE(test_human_readable_join)
{
deprecate using namespace std test: updat filereader test deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecate namespace std deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace deprecated std namespace depecrate namespace std deprecated namespace std check ci clean line Co-authored-by: Nikola Matić <nikola.matic@ethereum.org> purge line pure line deprecate std deprecate std deprecate std deprecate std deprecate std deprecate deprecate std bye namespace
2023-08-30 00:08:06 +00:00
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({})), "");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a"})), "a");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b"})), "a, b");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b", "c"})), "a, b, c");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({}), "; "), "");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a"}), "; "), "a");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b"}), "; "), "a; b");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b", "c"}), "; "), "a; b; c");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({}), "; ", " or "), "");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a"}), "; ", " or "), "a");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b"}), "; ", " or "), "a or b");
BOOST_CHECK_EQUAL(joinHumanReadable(std::vector<std::string>({"a", "b", "c"}), "; ", " or "), "a; b or c");
added helper function that joins vectors of strings, refactored suggestions formattingi function to use it
2018-08-02 14:57:16 +00:00
}
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
BOOST_AUTO_TEST_CASE(test_format_number_readable)
{
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x10000000)), "2**28");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x100000000)), "2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x8000000)), "2**27");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x80000000)), "2**31");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x800000000)), "2**35");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x8000000000)), "2**39");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x80000000000)), "2**43");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x7ffffff)), "2**27 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x7fffffff)), "2**31 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x7ffffffff)), "2**35 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x7fffffffff)), "2**39 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x7ffffffffff)), "2**43 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xfffffff)), "2**28 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xffffffff)), "2**32 - 1");
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x88000000)), "0x88 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x8888888888000000)), "0x8888888888 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x100000000)), "2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xFFFFffff)), "2**32 - 1");
u256 b = 0;
for (int i = 0; i < 32; i++)
{
b <<= 8;
b |= 0x55;
}
u256 c = (u256)FixedHash<32>(
fromHex("0xabcdef0123456789abcdef0123456789abcdef0123456789abcdef0123456789")
);
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
u256 d = u256(0xAAAAaaaaAAAAaaaa) << 192;
u256 e = u256(0xAAAAaaaaAAAAaaaa) << 192 |
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
u256(0xFFFFffffFFFFffff) << 128 |
u256(0xFFFFffffFFFFffff) << 64 |
u256(0xFFFFffffFFFFffff);
BOOST_CHECK_EQUAL(formatNumberReadable(b, true), "0x5555...{+56 more}...5555");
BOOST_CHECK_EQUAL(formatNumberReadable(c, true), "0xABCD...{+56 more}...6789");
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable(d, true), "0xAAAAaaaaAAAAaaaa * 2**192");
BOOST_CHECK_EQUAL(formatNumberReadable(e, true), "0xAAAAaaaaAAAAaaab * 2**192 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x20000000)), "2**29");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x200000000)), "2**33");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x2000000000)), "2**37");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x20000000000)), "2**41");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x200000000000)), "2**45");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1FFFFFFF)), "2**29 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1FFFFFFFF)), "2**33 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1FFFFFFFFF)), "2**37 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1FFFFFFFFFF)), "2**41 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1FFFFFFFFFFF)), "2**45 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3000000)), "0x03 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x30000000)), "0x30 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x300000000)), "0x03 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3000000000)), "0x30 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x2FFFFFF)), "0x03 * 2**24 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x2FFFFFFF)), "0x30 * 2**24 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x2FFFFFFFF)), "0x03 * 2**32 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x2FFFFFFFFF)), "0x30 * 2**32 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA3000000)), "0xa3 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA30000000)), "0x0a30 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA300000000)), "0xa3 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA3000000000)), "0x0a30 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA2FFFFFF)), "0xa3 * 2**24 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA2FFFFFFF)), "0x0a30 * 2**24 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA2FFFFFFFF)), "0xa3 * 2**32 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xA2FFFFFFFFF)), "0x0a30 * 2**32 - 1");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 128, true), "0x03 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 129, true), "0x06 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 130, true), "0x0c * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 131, true), "0x18 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 248, true), "0x03 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 249, true), "0x06 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 250, true), "0x0c * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x3) << 251, true), "0x18 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 128, true), "0x09 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 129, true), "0x12 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 130, true), "0x24 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 131, true), "0x48 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 248, true), "0x09 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 249, true), "0x12 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 250, true), "0x24 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x9) << 251, true), "0x48 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0)), "0");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x10000)), "65536");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xFFFF)), "65535");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0x1000000)), "16777216");
BOOST_CHECK_EQUAL(formatNumberReadable(u256(0xFFFFFF)), "16777215");
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
//for codegen/ExpressionCompiler
BOOST_CHECK_EQUAL(formatNumberReadable(u256(-1)), "2**256 - 1");
// for formal/SMTChecker
BOOST_CHECK_EQUAL(
Adapt tests directory to C++ namespace changes.
2019-12-23 15:50:30 +00:00
formatNumberReadable(frontend::IntegerType(256).minValue()), "0");
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
BOOST_CHECK_EQUAL(
Adapt tests directory to C++ namespace changes.
2019-12-23 15:50:30 +00:00
formatNumberReadable(frontend::IntegerType(256).maxValue()), "2**256 - 1");
add a 'readable' format for large hex values
2018-11-22 00:02:25 +00:00
}
Restructure code for alternative identifier suggestions
2017-11-21 16:50:35 +00:00
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
BOOST_AUTO_TEST_CASE(test_format_number_readable_signed)
{
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x10000000)), "-2**28");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x100000000)), "-2**32");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x8000000)), "-2**27");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x80000000)), "-2**31");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x800000000)), "-2**35");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x8000000000)), "-2**39");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x80000000000)), "-2**43");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x7ffffff)), "-2**27 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x7fffffff)), "-2**31 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x7ffffffff)), "-2**35 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x7fffffffff)), "-2**39 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x7ffffffffff)), "-2**43 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xfffffff)), "-2**28 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xffffffff)), "-2**32 + 1");
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x88000000)), "-0x88 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x8888888888000000)), "-0x8888888888 * 2**24");
s256 b = 0;
for (int i = 0; i < 32; i++)
{
b <<= 8;
b |= 0x55;
}
b = b * (-1);
s256 c = (-1) * u2s((u256)FixedHash<32>(
fromHex("0x0bcdef0123456789abcdef0123456789abcdef0123456789abcdef0123456789")
));
s256 d = (-1) * u2s(
u256(0x5555555555555555) << 192 |
u256(0xFFFFffffFFFFffff) << 128 |
u256(0xFFFFffffFFFFffff) << 64 |
u256(0xFFFFffffFFFFffff)
);
BOOST_CHECK_EQUAL(formatNumberReadable(b, true), "-0x5555...{+56 more}...5555");
BOOST_CHECK_EQUAL(formatNumberReadable(c, true), "-0x0BCD...{+56 more}...6789");
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable(d, true), "-0x5555555555555556 * 2**192 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x20000000)), "-2**29");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x200000000)), "-2**33");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x2000000000)), "-2**37");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x20000000000)), "-2**41");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x200000000000)), "-2**45");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1FFFFFFF)), "-2**29 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1FFFFFFFF)), "-2**33 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1FFFFFFFFF)), "-2**37 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1FFFFFFFFFF)), "-2**41 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1FFFFFFFFFFF)), "-2**45 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x3000000)), "-0x03 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x30000000)), "-0x30 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x300000000)), "-0x03 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x3000000000)), "-0x30 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x2FFFFFF)), "-0x03 * 2**24 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x2FFFFFFF)), "-0x30 * 2**24 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x2FFFFFFFF)), "-0x03 * 2**32 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x2FFFFFFFFF)), "-0x30 * 2**32 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA3000000)), "-0xa3 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA30000000)), "-0x0a30 * 2**24");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA300000000)), "-0xa3 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA3000000000)), "-0x0a30 * 2**32");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA2FFFFFF)), "-0xa3 * 2**24 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA2FFFFFFF)), "-0x0a30 * 2**24 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA2FFFFFFFF)), "-0xa3 * 2**32 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xA2FFFFFFFFF)), "-0x0a30 * 2**32 + 1");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 128, true), "-0x03 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 129, true), "-0x06 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 130, true), "-0x0c * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 131, true), "-0x18 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 248, true), "-0x03 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 249, true), "-0x06 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 250, true), "-0x0c * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x3)) << 251, true), "-0x18 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 128, true), "-0x09 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 129, true), "-0x12 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 130, true), "-0x24 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 131, true), "-0x48 * 2**128");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 248, true), "-0x09 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 249, true), "-0x12 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 250, true), "-0x24 * 2**248");
BOOST_CHECK_EQUAL(formatNumberReadable(((-1) * s256(0x9)) << 251, true), "-0x48 * 2**248");
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable(s256(-1)), "-1");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x10000)), "-65536");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xFFFF)), "-65535");
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0x1000000)), "-16777216");
BOOST_CHECK_EQUAL(formatNumberReadable((-1) * s256(0xFFFFFF)), "-16777215");
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
BOOST_CHECK_EQUAL(
formatNumberReadable(
frontend::IntegerType(256, frontend::IntegerType::Modifier::Signed).minValue()
),
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
"-2**255"
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
);
BOOST_CHECK_EQUAL(
formatNumberReadable(
frontend::IntegerType(256, frontend::IntegerType::Modifier::Signed).maxValue()
),
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
2022-07-15 08:40:40 +00:00
"2**255 - 1"
formatNumberReadable now prints signed integers as well
2022-06-16 05:41:16 +00:00
);
}
Add tests for similarity routine
2017-11-18 06:54:17 +00:00
BOOST_AUTO_TEST_SUITE_END()
}
Reference in New Issue Copy Permalink