9 Commits

Author	SHA1	Message	Date
Kamil Śliwak	5560239cf5	Replace links to readthedocs.io with ones using the new domain	2020-11-18 15:20:34 +01:00
Alexander Arlt	d38eb75fb5	[circleci] Enable ewasm tests.	2020-10-01 13:21:39 -05:00
Leonardo Alt	11fc924d23	Split SMTCheckerTests in CI	2020-09-24 13:25:50 +02:00
chriseth	0b9bb84c39	Run tests in parallel.	2020-07-15 23:50:43 +02:00
chriseth	872858078f	Run "options" test first to get early failures.	2020-07-09 16:16:17 +02:00
chriseth	83337c850e	Do not run tests that do not need options multiple times.	2020-07-08 18:47:14 +02:00
chriseth	dc79274871	Set default EVM version to Istanbul.	2019-12-04 10:42:14 +01:00
Alex Beregszaszi	e912c7dca8	Run istanbul tests on circleci	2019-11-19 17:09:18 +01:00
Christian Parpart	b94bdfcec0	Merges soltest tests per EVM/flags into a single one. ... Because of EVMONE, speeds up test runs we can do that now.	2019-08-14 16:51:52 +02:00