15 Commits

Author	SHA1	Message	Date
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	190634e1f9	Implements infrastructure for semantic tests.	2019-02-13 13:05:58 +01:00
Bhargava Shastry	24b1de7df0	This PR refactors and shares oss-fuzz specific test harness code with the afl fuzzer harness. ChangeLog updated.	2019-01-23 11:06:25 +01:00
chriseth	b7cfa499b0	Add tests.	2018-12-06 14:43:14 +01:00
Lazaridis	56d5dd4668	decouple TestCase class from test/libsolidity	2018-11-25 02:34:59 +02:00
Leonardo Alt	0ff4cbe51b	Add SMTChecker tests for standard JSON	2018-11-23 10:51:06 +00:00
chriseth	57843f790c	Interactive optimizer tool.	2018-10-24 17:52:28 +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
Daniel Kirchner	d923926ff7	Infrastructure for extracting JSON AST tests.	2018-08-03 20:35:50 +02:00
Daniel Kirchner	14d0f8c2f1	Refactor syntax test infrastructure to prepare introducing semantics tests.	2018-06-15 10:51:40 +02:00
mingchuan	dbd0a7ed60	Fix link error when using boost shared library	2018-05-11 11:20:19 +08:00
Daniel Kirchner	7fa892eca9	Add interactive test tool isoltest.	2018-03-15 16:23:49 +01:00
Daniel Kirchner	121f87b043	Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.	2018-03-12 18:40:20 +01:00