45 Commits
Author SHA1 Message Date
Christian Parpart df729b3084 Make use of C++17 std::optional<> instead of boost::optional<>. 2019-10-28 11:39:30 +01:00
chriseth e9346ca38a Merge pull request #7400 from ethereum/evmoneSearch
Fix evmone filename for auto-discovery for windows and macos.
2019-09-11 17:55:12 +02:00
Daniel Kirchner 2535091168 Replace preprocessor macros with constexpr expressions. 2019-09-11 13:03:05 +02:00
Christian Parpart ccdca32f39 isoltest: Fixes matching tests on platforms that don't use forward slahes as path separators. 2019-09-11 12:53:20 +02:00
Flash Sheridan 733d40ddb5 Fix evmone filename for auto-discovery for windows and macos. 2019-09-11 12:28:05 +02:00
chriseth c4638cc5cb Remove mention of IPC. 2019-08-08 17:35:46 +02:00
chriseth ac43c3bd18 Construct VM with path. 2019-08-08 17:35:46 +02:00
chriseth f692cec11d Provide path to libevmone. 2019-08-08 17:35:46 +02:00
chriseth 05a67c486e Use "what" in exception reports. 2019-06-18 17:34:10 +02:00
Daniel Kirchner 76b88bdfd8 Allow test cases to indicate fatal errors. 2019-05-07 18:12:21 +02:00
chriseth 669df0d1e5 Allow more filters and rename member. 2019-04-17 12:00:01 +02:00
Erik Kundt 827e13a2d7 Refactors passing of options in isoltest. 2019-04-17 11:36:14 +02:00
Erik Kundt 11087422d6 Adds --test | -t option to isoltest. 2019-04-17 11:36:14 +02:00
chriseth aeb260cde1 Add settings framework for interactive tests. 2019-04-03 14:58:20 +02:00
Daniel Kirchner a178486436 Review suggestions. 2019-03-18 14:34:00 +01:00
Daniel Kirchner 4a28e1eb43 Support EVM Version rules for extracted tests. 2019-03-15 17:23:20 +01:00
Mathias Baumann 7a40088d95 Fix isoltest --no-color option 2019-02-21 16:42:23 +01:00
Mathias Baumann 1672902abb Unify isoltest and soltest options code
Also provide a default value for ipc-path, which is the same one as aleth uses.
2019-02-21 14:04:39 +01:00
Mathias Baumann f4110b295b Use env variable to get IPC path for isoltest 2019-02-21 13:27:24 +01:00
Erik Kundt dacad629ef Adds semantic tests to test framework and isoltest. 2019-02-15 13:27:15 +01:00
Christian Parpart 53f9be8a23 Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR) 2019-02-11 16:00:24 +01:00
Mathias Baumann 55d7d327c4 Have only one source where testsuits are defined 2018-12-10 16:49:33 +01:00
chriseth b7cfa499b0 Add tests. 2018-12-06 14:43:14 +01:00
Leonardo Alt 0ff4cbe51b Add SMTChecker tests for standard JSON 2018-11-23 10:51:06 +00:00
Leonardo Alt e4851cf59e [SMTChecker] Inline calls to internal functions 2018-10-15 15:11:21 +02:00
Christian Parpart 1304361b9c Renaming namespace dev::julia to dev::yul. 2018-10-15 11:58:51 +02:00
Christian Parpart 9a4bec7e47 Renaming libjulia to libyul 2018-10-15 11:52:35 +02:00
chriseth 4607118d2e Add Yul optimizer test framework. 2018-10-11 16:59:57 +02:00
chriseth 9da62384ee Combine test path discovery. 2018-10-11 15:01:43 +02:00
chriseth 50247dc8d1 Extract test suite runs. 2018-10-11 15:01:43 +02:00
chriseth 9081f803c7 Extract function. 2018-10-11 15:01:43 +02:00
Daniel Kirchner 967bb6d999 Initialize `TestTool::m_formatted`. 2018-08-07 21:23:01 +02:00
Daniel Kirchner a6df7b1fb8 Always count all test cases in isoltest and exit early on user request. 2018-08-07 19:28:21 +02:00
Daniel Kirchner d923926ff7 Infrastructure for extracting JSON AST tests. 2018-08-03 20:35:50 +02:00
Alex Beregszaszi a5a61a0b77 More consistent catch statements
Also take const& in all cases.
2018-07-25 01:18:09 +01:00
Christian Parpart 05121eebd1 isoltest: adds support for properly handling ANSI escape sequences on Win32/Win64 builds. 2018-07-16 16:34:23 +02:00
Daniel Kirchner 14d0f8c2f1 Refactor syntax test infrastructure to prepare introducing semantics tests. 2018-06-15 10:51:40 +02:00
Daniel Kirchner 9f546cfafc Improve exception handling in soltest and isoltest. 2018-06-12 11:06:14 +02:00
Alex Beregszaszi 0bed065ee7 Fix source location assertion in isoltest 2018-05-16 15:52:43 +02:00
Daniel Kirchner f03695731b Add source locations to syntax test expectations. 2018-04-10 14:08:22 +02:00
Daniel Kirchner 6f9644add1 SyntaxTests: extend syntax tests and isoltest to support parser errors and compiler exceptions. 2018-04-03 19:54:45 +02:00
Alex Beregszaszi 8fd53c1c03 Merge pull request #3744 from ethereum/useUsrBinEditor
Use /usr/bin/editor if exists.
2018-03-21 15:28:21 +00:00
Daniel Kirchner e68c19c47b Only consider files ending with .sol and not starting with ~ in syntax tests. 2018-03-16 12:28:21 +01:00
chriseth ea8d5f8afc Use /usr/bin/editor if exists. 2018-03-15 18:20:23 +01:00
Daniel Kirchner 7fa892eca9 Add interactive test tool isoltest. 2018-03-15 16:23:49 +01:00