68 Commits

Author	SHA1	Message	Date
nishant-sachdeva	bd819c87fa	added warning if isoltest gas-cost-expectations are not enforced	2021-12-30 18:51:55 +05:30
Kamil Śliwak	a30348715b	Use boost::current_exception_diagnostic_information() to print extra info about exceptions caught by (...)	2021-10-07 17:41:25 +02:00
Kamil Śliwak	82b720029d	boostTest: Print diagnostic information for std::exception too	2021-06-25 13:25:10 +02:00
Kamil Śliwak	030fb1d9a2	boostTest: Give BOOST_REQUIRE_NO_THROW a smaller block of code to make the error message clearer when a test raises an unexpected exception	2021-06-25 13:22:15 +02:00
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
Djordje Mijovic	06171a3100	Changing enforceGasCost functionality.	2021-03-10 14:22:26 +01: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
Alex Beregszaszi	bd641a5206	Enable more C++ compiler warnings	2020-12-10 21:03:58 +00:00
Leonardo Alt	8eba66daf9	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02: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
Daniel Kirchner	c8f25142a7	Add nooptions label to smt checks.	2020-07-11 20:17:12 +02:00
Jason Cobb	63ad1092cd	Add comment to filenames in boostTest.cpp	2020-05-18 10:24:38 -04: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	616fd8df1e	Apply modernize-use-nullptr.	2020-04-01 12:46:19 -05: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
Alex Beregszaszi	1ee4b9dc3b	Remove the LLL compiler	2020-01-15 13:18:18 +00:00
Christian Parpart	ed45b000d1	Adapt tests directory to C++ namespace changes.	2020-01-07 15:51:50 +01:00
Alex Beregszaszi	5db5382fac	Remove boost <1.59 workaround from tests	2019-12-13 00:36:34 +00:00
chriseth	0bb88dabb7	Restrict usage of plain "new".	2019-11-27 17:55:11 +01:00
Daniel Kirchner	2535091168	Replace preprocessor macros with constexpr expressions.	2019-09-11 13:03:05 +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
Daniel Kirchner	76b88bdfd8	Allow test cases to indicate fatal errors.	2019-05-07 18:12:21 +02:00
chriseth	aeb260cde1	Add settings framework for interactive tests.	2019-04-03 14:58:20 +02:00
Daniel Kirchner	4a28e1eb43	Support EVM Version rules for extracted tests.	2019-03-15 17:23:20 +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
Erik Kundt	dacad629ef	Adds semantic tests to test framework and isoltest.	2019-02-15 13:27:15 +01:00
chriseth	b5deca0383	Merge pull request #4779 from ethereum/optimise-string-literals ... Decide better in storing string literals as data	2018-12-11 17:50:14 +01:00
chriseth	d80d324de7	Tests for gas costs.	2018-12-10 18:06:07 +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
chriseth	9a94e503da	Merge pull request #5491 from ethereum/libyul-as-library ... Libyul as static library (version 3 ;( )	2018-11-23 17:01:18 +01:00
Christian Parpart	ec47c8946b	Isolating libyul library API into its own namespace yul.	2018-11-23 14:29:00 +01:00
Leonardo Alt	0ff4cbe51b	Add SMTChecker tests for standard JSON	2018-11-23 10:51:06 +00:00
Alex Beregszaszi	6961899cb2	Do not build tests for LLL if disabled	2018-11-13 23:51:17 +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
Alex Beregszaszi	fbc8443174	Merge pull request #4589 from sifmelcara/fix/dynamic-link-boost-test ... Fix shared boost test library build by customizing main	2018-08-08 13:53:00 +01:00
Daniel Kirchner	d923926ff7	Infrastructure for extracting JSON AST tests.	2018-08-03 20:35:50 +02:00
mingchuan	b89365282b	Fix shared boost test library build by customizing main	2018-08-02 13:08:24 +01:00