12 Commits

Author	SHA1	Message	Date
chriseth	a1f3046647	Add SMT tests.	2017-09-29 12:44:39 +02:00
chriseth	ea6d925a5d	Option to disable/remove all tests that require IPC.	2017-04-26 12:36:15 +02:00
chriseth	86953ca3e4	Option to show messages in tests.	2016-12-06 22:31:20 +01:00
chriseth	c9293f2f23	Enable the optimizer for test runs.	2016-11-23 16:48:13 +01:00
VoR0220	3f9f725737	Fix licensing headers ... Signed-off-by: VoR0220 <rj@erisindustries.com>	2016-11-23 12:22:33 +01:00
Dimitry	f892d1b9a3	rename --ipc to --ipcpath	2016-08-29 16:21:49 +04:00
chriseth	1bc0320811	Cleanup of test suite init.	2016-08-12 15:11:30 +02:00
Bob Summerwill	fe4180a85e	Fix build break in new TestHelper code.	2016-08-02 23:03:40 -07:00
Dmitry K	5925ae0c6a	Windows pipe for soltest	2016-08-02 19:32:03 +03:00
chriseth	67d1e4783a	Rename IPCSocket and removed unused code in TestHelper.	2016-06-29 00:14:50 +02:00
chriseth	8d9eb68307	Modularise CMakeLists files and integrate tests.	2015-08-20 00:55:41 +02:00
chriseth	e985b285be	Move Solidity tests.	2015-08-19 21:54:09 +02:00