63 Commits

Author	SHA1	Message	Date
Daniel Kirchner	06a9199967	Change loading of VMs and error messages during test.	2021-05-12 14:48:37 +02:00
chriseth	3548049c61	Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm ... [test] Add support for --enforce-compile-to-ewasm.	2021-04-27 17:51:33 +02:00
Alexander Arlt	da38149f57	[test] Add support for --enforce-compile-to-ewasm.	2021-04-26 20:31:03 -05:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Alex Beregszaszi	1c176cc1ee	isoltest: add --accept-updates option	2021-03-15 14:31:01 +00:00
Djordje Mijovic	aed3832b27	Implementing enforcing gas expectations in isoltest. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-09 21:26:45 +01:00
Alexander Arlt	23d9b1567e	Add support for ewasm evmc vm.	2020-09-08 12:41:42 -05:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
Bhargava Shastry	0397266351	Implement multi source semantic tests ... Co-authored-by: chriseth <chris@ethereum.org> Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-06-23 17:29:16 +02:00
Djordje Mijovic	8b7f87eed5	[isoltest] Enforcing compileViaYul to be set if test can pass via yul	2020-05-05 00:38:13 +02:00
Alexander Arlt	aac7a1e434	Apply modernize-pass-by-value.	2020-04-14 10:32:13 -05:00
a3d4	f4d9f6772f	Unified use of settings. Removed a couple of unused functions.	2020-03-19 14:02:39 +01:00
a3d4	66783c30ce	Introduced TestCaseReader.	2020-03-16 23:14:33 +01:00
a3d4	29b770c434	Introduced TestCase::shouldRun().	2020-03-09 15:52:20 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +01:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Christian Parpart	ed45b000d1	Adapt tests directory to C++ namespace changes.	2020-01-07 15:51:50 +01:00
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