Remove mention of IPC.

This commit is contained in:
chriseth
2019-08-08 17:35:46 +02:00
parent ac43c3bd18
commit c4638cc5cb
8 changed files with 18 additions and 29 deletions
+2 -2
View File
@@ -157,7 +157,7 @@ TestTool::Result TestTool::process()
{
(AnsiColorized(cout, formatted, {BOLD}) << m_name << ": ").flush();
m_test = m_testCaseCreator(TestCase::Config{m_path.string(), m_options.evmonePath.string(), m_options.evmVersion()});
m_test = m_testCaseCreator(TestCase::Config{m_path.string(), m_options.evmVersion()});
if (m_test->validateSettings(m_options.evmVersion()))
switch (TestCase::TestResult result = m_test->run(outputMessages, " ", formatted))
{
@@ -430,7 +430,7 @@ int main(int argc, char const *argv[])
// Interactive tests are added in InteractiveTests.h
for (auto const& ts: g_interactiveTestsuites)
{
if (ts.ipc && disableSemantics)
if (ts.needsVM && disableSemantics)
continue;
if (ts.smt && options.disableSMT)