Merge pull request ethereum#15659 from ipsilon/eof-disable-smt-checket-test

cameel · web-flow · commit 2462dfa63866 · 2024-12-20T19:19:39.000+01:00
eof: Disable `smtCheckerTests` when compiling to EOF
diff --git a/test/libsolidity/SMTCheckerTest.cpp b/test/libsolidity/SMTCheckerTest.cpp
@@ -136,6 +136,10 @@ SMTCheckerTest::SMTCheckerTest(std::string const& _filename):
 
 	auto const& bmcLoopIterations = m_reader.sizetSetting("BMCLoopIterations", 1);
 	m_modelCheckerSettings.bmcLoopIterations = std::optional<unsigned>{bmcLoopIterations};
+
+	// TODO: Enable EOF testing when EOF gets stable and smtCheckerTest starts using IR.
+	if (CommonOptions::get().eofVersion().has_value())
+		m_shouldRun = false;
 }
 
 void SMTCheckerTest::setupCompiler(CompilerStack& _compiler)

Original file line number	Diff line number	Diff line change
`@@ -136,6 +136,10 @@ SMTCheckerTest::SMTCheckerTest(std::string const& _filename):`
`136`	`136`
`137`	`137`	`auto const& bmcLoopIterations = m_reader.sizetSetting("BMCLoopIterations", 1);`
`138`	`138`	`m_modelCheckerSettings.bmcLoopIterations = std::optional<unsigned>{bmcLoopIterations};`
	`139`	`+`
	`140`	`+ // TODO: Enable EOF testing when EOF gets stable and smtCheckerTest starts using IR.`
	`141`	`+ if (CommonOptions::get().eofVersion().has_value())`
	`142`	`+ m_shouldRun = false;`
`139`	`143`	`}`
`140`	`144`
`141`	`145`	`void SMTCheckerTest::setupCompiler(CompilerStack& _compiler)`