From 2dffafcf7c695552dbbf5b4a7a1f34cc87c82ace Mon Sep 17 00:00:00 2001
From: hrkrshnn <webmail.hari@gmail.com>
Date: Wed, 27 Jan 2021 19:42:25 +0100
Subject: [PATCH] Add tests

---
 libsmtutil/Z3Interface.cpp       |  1 +
 test/libyul/YulOptimizerTest.cpp | 14 +++++++-------
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/libsmtutil/Z3Interface.cpp b/libsmtutil/Z3Interface.cpp
index 8d7a03392..1be59abc9 100644
--- a/libsmtutil/Z3Interface.cpp
+++ b/libsmtutil/Z3Interface.cpp
@@ -96,6 +96,7 @@ void Z3Interface::addAssertion(Expression const& _expr)
 
 pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _expressionsToEvaluate)
 {
+	std::cout  << m_solver << std::endl;
 	CheckResult result;
 	vector<string> values;
 	try
diff --git a/test/libyul/YulOptimizerTest.cpp b/test/libyul/YulOptimizerTest.cpp
index 9fb08bbc0..930550275 100644
--- a/test/libyul/YulOptimizerTest.cpp
+++ b/test/libyul/YulOptimizerTest.cpp
@@ -437,16 +437,16 @@ TestCase::TestResult YulOptimizerTest::run(ostream& _stream, string const& _line
 	else if (m_optimizerStep == "memoryLoadResolver")
 	{
 		disambiguate();
-		ForLoopInitRewriter::run(*m_context, *m_object->code);
-		ExpressionSplitter::run(*m_context, *m_object->code);
-		SSATransform::run(*m_context, *m_object->code);
+		// ForLoopInitRewriter::run(*m_context, *m_object->code);
+		// ExpressionSplitter::run(*m_context, *m_object->code);
+		// SSATransform::run(*m_context, *m_object->code);
 
 		MemoryLoadResolver::run(*m_context, *m_object->code);
 
-		// Cleanup
-		UnusedPruner::run(*m_context, *m_object->code);
-		ExpressionJoiner::run(*m_context, *m_object->code);
-		ExpressionJoiner::run(*m_context, *m_object->code);
+		// // Cleanup
+		// UnusedPruner::run(*m_context, *m_object->code);
+		// ExpressionJoiner::run(*m_context, *m_object->code);
+		// ExpressionJoiner::run(*m_context, *m_object->code);
 	}
 	else
 	{