Commit Graph

7 Commits

Author SHA1 Message Date
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