40 Commits

Author	SHA1	Message	Date
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